10. APN 1989: Bonn, Germany
Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings].
Lecture Notes in Computer Science 483 Springer 1991, ISBN 3-540-53863-1
- Wilfried Brauer, Robert Gold, Walter Vogler:
A survey of behaviour and equivalence preserving refinements of Petri nets.
1-46

- B. Bütler, R. Esser, R. Mattmann:
A distributed simulator for high order Petri nets.
47-63

- Janette Cardoso, Robert Valette, Didier Dubois:
Petri nets with uncertain markings.
64-78

- José Manuel Colom, Manuel Silva:
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.
79-112

- José Manuel Colom, Manuel Silva:
Improving the linearly based characterization of P/T nets.
113-145

- Jean-Michel Couvreur, Javier Martínez:
Linear invariants in commutative high level nets.
146-164

- Jörg Desel, Agathe Merceron:
Vicinity respecting net morphisms.
165-185

- Claude Dutheillet, Serge Haddad:
Regular stochastic Petri nets.
186-209

- Javier Esparza, Manuel Silva:
Circuits, handles, bridges and nets.
210-242

- Javier Esparza, Manuel Silva:
On the analysis and synthesis of free choice systems.
243-286

- Gerard Florin, Claude Kaiser, Stéphane Natkin:
Petri net models of a distributed election protocol on a unidirectional ring.
287-312

- Peter Huber, Kurt Jensen, Robert M. Shapiro:
Hierarchies in coloured Petri nets.
313-341

- Kurt Jensen:
Coloured Petri nets: A high level language for system design and analysis.
342-416

- Gary J. Nutt:
A simulation system architecture for graph models.
417-435

- Lucia Pomello, Carla Simone:
A state transformation preorder over a class of EN systems.
436-456

- Younes Souissi, Gérard Memmi:
Composition of nets via a communication medium.
457-470

- P. David Stotts, Richard Furuta:
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.
471-490

- Antti Valmari:
Stubborn sets for reduced state space generation.
491-515

Last update Fri May 24 00:04:03 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page