Volume 153, Numbers 1&2, 8 January 1996
Special Volume on Petri Nets
- C. A. Petri:
Nets, Time and Space.
3-48
- Jörg Desel, K.-P. Neuendorf, M.-D. Radola:
Proving Nonreachability by Modulo-Invariants.
49-64
- Joost Engelfriet:
A Multiset Semantics for the pi-Calculus with Replication.
65-94
- Javier Esparza, Glenn Bruns:
Trapping Mutual Exclusion in the Box Calculus.
95-128
- P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets.
129-170
- José Meseguer, Ugo Montanari, Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets.
171-210
- Mogens Nielsen, Glynn Winskel:
Petri Nets and Bisimulation.
211-244
- Einar Smith:
On the Border of Causality: Contact and Confusion.
245-270
- Enrique Teruel, Manuel Silva:
Structure Theory of Equal Conflict Systems.
271-300
Last update Fri May 17 20:52:31 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
