default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th APN 1986: Oxford, UK
- Grzegorz Rozenberg:
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Lecture Notes in Computer Science 266, Springer 1987, ISBN 3-540-18086-9 - Claude Girault, C. Chatelain, Serge Haddad:
Specification and properties of a cache coherence protocol model. 1-20 - Fiorella de Cindio, Giorgio De Michelis, Carla Simone:
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems. 21-44 - Rodney R. Howell, Louis E. Rosier:
Recent results on the complexity of problems related to Petri nets. 45-72 - Serge Haddad, Claude Girault:
Algebraic structure of flows of a regular coloured net. 73-88 - Ryszard Janicki, Maciej Koutny:
On equivalent execution semantics of concurrent systems. 89-103 - Fritz Krückeberg, Michael Jaxy:
Mathematical methods for calculating invariants in Petri nets. 104-131 - Marco Ajmone Marsan, Giovanni Chiola:
On Petri nets with deterministic and exponentially distributed firing times. 132-145 - Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli:
An accurate performance model of CSMA/CD bus LAN. 146-161 - Erik Meijer:
Petri net models for the lambda-calculus. 162-180 - Agathe Merceron:
Fan processes. 181-195 - Ernst-Rüdiger Olderog:
Operational Petri net semantics for CCSP. 196-223 - Elisabeth Pelz:
Infinitary languages of Petri nets and logical sentences. 224-237 - Wolfgang Reisig:
A strong part of concurrency. 238-272 - C. A. Petri, Einar Smith:
Concurrency and continuity. 273-292 - Jacques Vautherin:
Parallel systems specitications with coloured Petri nets and algebraic specifications. 293-308 - Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter:
Bibliography of Petri nets. 309-451
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-10-31 20:03 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:
