Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Advances in Petri Nets 1992: The DEMON Project

> Home > Conferences and Workshops > Advances in Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/1992d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/1992d
Grzegorz Rozenberg:
Advances in Petri Nets 1992, The DEMON Project. Lecture Notes in Computer Science 609, Springer 1992, ISBN 3-540-55610-9
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Best92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Best92
Eike Best:
Esprit Basic Research Action 3148 DEMON (design methods based on nets). 1-20

Technical Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestDH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestDH92
Eike Best, Raymond R. Devillers, Jon G. Hall:
The box calculus: a new causal algebra with multi-label communication. 21-69
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BroyS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BroyS92
Manfred Broy, Thomas Streicher:
Modular functional modelling of Petri nets with individual tokens. 70-88
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CzajaGG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CzajaGG92
Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz:
Interleaving semantics and action refinement with atomic choice. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Devillers92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Devillers92
Raymond R. Devillers:
Maximality preservation and the ST-idea for action refinements. 108-151
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Fanchon92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Fanchon92
Jean Fanchon:
A fifo-net model for processes with asynchronous communication. 152-178
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HopkinsHB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HopkinsHB92
Richard P. Hopkins, Jon G. Hall, Oliver Botti:
A basic-net algebra for program semantics and its application to OCCAM. 179-214
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KeesmaatK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KeesmaatK92
N. W. Keesmaat, H. C. M. Kleijn:
The effect of vector synchronization: residue and loss. 215-250
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Koutny92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Koutny92
Maciej Koutny:
Modelling systems with dynamic priorities. 251-266
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Rozoy92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Rozoy92
Brigitte Rozoy:
On distributed languages and models for concurrency. 267-291
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Vogler92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Vogler92
Walter Vogler:
Partial words versus processes: a short comparison. 292-303

Surveys

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BernardinelloC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BernardinelloC92
Luca Bernardinello, Fiorella de Cindio:
A survey of basic net models and modular net classes. 304-351
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CamposS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CamposS92
Javier Campos, Manuel Silva Suárez:
Structural techniques and performance bounds of stochastic Petri net models. 352-391
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GastinP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GastinP92
Paul Gastin, Antoine Petit:
A survey of recognizable languages with infinite traces. 392-409
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PomelloRS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PomelloRS92
Lucia Pomello, Grzegorz Rozenberg, Carla Simone:
A survey of equivalence notions for net based systems. 410-472

a service of

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.