default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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
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 2025-08-05 23:12 CEST 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:
