default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th APN 1988: Venice, Italy
- Grzegorz Rozenberg:
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers. Lecture Notes in Computer Science 424, Springer 1990, ISBN 3-540-52494-0 - Marco Ajmone Marsan:
Stochastic Petri nets: an elementary introduction. 1-29 - Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli:
Improving the efficiency of the analysis of DSPN models. 30-50 - Charles André:
Synchronized elementary net systems. 51-76 - Ludmila Cherkasova, Vadim E. Kotov:
Descriptive and analytical process algebras. 77-104 - Jörg Desel, Agathe Merceron:
P/T-systems as abstractions of C/E-systems. 105-127 - Raymond R. Devillers:
The semantics of capacities in P/T nets. 128-150 - Frits Feldbrugge:
Petri net tool overview 1989. 151-178 - Hartmann J. Genrich:
Equivalence transformations of PrT-nets. 179-208 - Serge Haddad:
A reduction theory for coloured nets. 209-235 - Claire Hanen
:
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets. 236-261 - Theodor Hildebrand, Nicolas Trèeves:
S-CORT(R): a method for the development of electronic payment systems. 262-280 - Hervé P. Hillion:
Timed Petri nets and application to multi-stage production systems. 281-305 - Astrid Kiehn:
Petri Net systems and their closure properties. 306-328 - David May, Roger Shepherd:
Occam and the transputer. 329-353 - Elisabeth Pelz:
About the concurrent behaviour of EN systems: definability and closure results. 354-373 - Manuel Silva Suárez, Robert Valette:
Petri nets and flexible manufacturing. 374-417 - Peter H. Starke:
Some properties of timed nets under the earliest firing rule. 418-432 - Nicolas Trèves:
A comparative study of different techniques for semi-flows computation in place/transition nets. 433-452 - Heikki Tuominen:
Elementary net systems and dynamic logic. 453-466 - Walter Vogler:
Representation of a swapping class by one net. 467-486 - Eike Best:
Design Methods Based on Nets, Esprit Basic Research Action DEMON. 487-506 - Ugo Montanari:
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. 507-524
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
