![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
12th APN 1991: Gjern, Denmark
- Grzegorz Rozenberg:
Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991. Lecture Notes in Computer Science 674, Springer 1993, ISBN 3-540-56689-9 - Ghassan Chehaibar:
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. 1-25 - Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier:
Bounded Self-Stabilizing Petri Nets. 26-50 - Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre:
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. 51-70 - René David, Hassane Alla:
Autonomous And Timed Continous Petri Nets. 71-90 - John B. Evans:
The Devnet: a Petri Net for Discrete Event Simulation. 91-125 - Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez:
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. 126-147 - Rainer Fehling:
A Concept of Hierarchical Petri Nets with Building Blocks. 148-168 - Frits Feldbrugge:
Petri Net Tool Overview 1992. 169-209 - Alain Finkel:
The Minimal Coverability Graph for Petri Nets. 210-243 - Roberto Gorrieri, Ugo Montanari:
Distributed Implementation of CCS. 244-266 - R. Gouet, F. Plo, M. San Miguel, Bernard Ycart:
Saturation Conditions For Stochastic Petri Nets. 267-280 - S. Lafitt, Jean-Marie Proth, Xiaolan Xie:
Marking Optimization In Timed Event Graphs. 281-300 - Markus Lindquist:
Parameterized Reachability Trees for Predicate/Transition Nets. 301-324 - Yao Li, C. Murray Woodside:
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. 325-349 - Giorgio De Michelis:
Constraints and Extensions in a Calculus of EN Systems. 350-370 - Einar Smith:
Comparability Orders and Measurement. 371-405 - Younes Souissi:
Deterministic Systems of Sequential Processes: a class of structured Petri nets. 406-426 - Antti Valmari:
Compositional State Space Generation. 427-457
![](https://dblp.org/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.