Keyword: true concurrency

• Virbitskaite, I.B.:
  An event structure model for dataflow computing. 1999.

• Bernardeschi, C.; Defrancesco, N.; Vaglini, G.:
  A partial order semantics for FIFO-nets. 1998.

• Fernandes, J.M.; Belo, O.:
  Modeling multi-agent system activities through colored Petri nets: an industrial production system case study. 1998.

• Degano, Pierpaolo; Meseguer, José; Montanari, Ugo:
  Axiomatizing the Algebra of Net Computations and Processes. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. 1991.

• Gorrieri, Roberto; Montanari, Ugo:
  SCONE: A Simple Calculus of Nets. 1990.

• Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P.S.:
  Models and Logics for True Concurrency. 1990.

• Vogler, Walter:
  Bisimulation and Action Refinement. 1990.

• Best, Eike; Desel, Jörg:
  Partial Order Behaviour and Structure of Petri Nets. 1989.

• Boudol, G.; Castellani, I.:
  Concurrency and Atomicity. 1988.

Back to the Petri Nets Bibliography