Advances in Petri nets 1989. 9th European workshop on applications and theory of Petri nets, Venice, Italy in June 1988. Proceedings (Q1188663): Difference between revisions

[The articles of this volume will not be indexed individually.] The volume contains 22 papers on different Petri net modifications and applications. The papers can be collected in the following three groups: (a) Theory: Stochastic Petri nets (\textit{A. Ajmone Marsan}), Synchronized elementary net systems (\textit{C. Andre}), Descriptive and analytical process algebras (\textit{L. Cherkasova} and \textit{V. Kotov}), \(P/T\)-systems as abstractions of \(C/E\)-systems (\textit{J. Desel} and \textit{A. Merceron}), Semantics of capacities in \(P/T\) nets (\textit{R. Devillers}), Equivalence transformations of \(PrT\)-nets (\textit{H. Genrich}), A reduction theory for coloured nets (\textit{S. Haddad}), Petri net systems and their closure properties (\textit{A. Kiehn}), The concurrent behaviour of \(EN\) systems (\textit{E. Pelz}), Properties of timed nets under the earliest firing rule (\textit{P. H. Starke}), A comparative study of different techniques for semi-flows computation in \(P/T\) nets (\textit{N. Treves}), Elementary net systems and dynamic logic (\textit{H. Tuominen}) and Representation of a swapping class by one net (\textit{W. Vogler}); (b) Applications: Improving the efficiency of the analysis of DSPN models (\textit{A. Ajmone Marsan}, \textit{G. Chiola} and \textit{A. Fumagalli}), Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets (\textit{C. Hanen}), A method for the development of electronic payment systems (\textit{Th. Hildebrand} and \textit{N. Treves}), Timed Petri nets and their application to multistage production systems (\textit{H. Hillion}) and Petri nets and flexible manufacturing (\textit{M. Silva} and \textit{R. Valette}); (c) Program implementations: The Petri net tools (\textit{F. Feldbrugge}), Occam and the transputer (\textit{D. May} and \textit{R. Shepherd}) and The rational and the workplans of the ESPRIT basic research actions DEMON (\textit{E. Best}) and CEDISYS (\textit{U. Montanari}).