![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
10th APN 1989: Bonn, Germany
- Grzegorz Rozenberg:
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, Rob 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 Suárez:
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 Suárez:
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 Suárez:
Circuits, handles, bridges and nets. 210-242 - Javier Esparza, Manuel Silva Suárez:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.