TY - BOOK ID - 1974848 TI - Application and theory of Petri Nets 1993 : 14th International conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings AU - Marsan, Marco Ajmone AU - International conerence on application and theory of Petri Nets PY - 1993 VL - vol 691 SN - 3540568638 0387568638 3540477594 PB - Berlin ; Heidelberg ; New York Springer Verlag DB - UniCat KW - Computer architecture. Operating systems KW - Petri nets KW - Réseaux de Pétri KW - Congresses KW - Congrès KW - Réseaux de Pétri KW - Congrès KW - Engineering mathematics. KW - Mathematics. KW - Logic, Symbolic and mathematical. KW - Computer science. KW - Computer software. KW - Logic design. KW - Mathematical and Computational Engineering. KW - Applications of Mathematics. KW - Mathematical Logic and Foundations. KW - Computation by Abstract Devices. KW - Algorithm Analysis and Problem Complexity. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Software, Computer KW - Computer systems KW - Informatics KW - Science KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Math KW - Engineering KW - Engineering analysis KW - Mathematical analysis UR - https://www.unicat.be/uniCat?func=search&query=sysid:1974848 AB - This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers. ER -