Keyword: partial order semantics

• Peuker, Sibylle:
  Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. 2003.

• Fleischhack, Hans; Pelz, Elisabeth:
  Hierarchical Timed High Level Nets and Their Branching Processes. 2003.

• Aura, T.; Lilius, J.:
  A causal semantics for time Petri nets. 2000.

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

• Freytag, T.:
  How to construct maximal conflict-free processes from Petri net simulations. 1998.

• Huhn, M.; Niebert, P.; Wallner, F.:
  Verification based on local states. 1998.

• Hwang, C.-H.; Lee, D.-I.:
  A concurrency characteristic on Petri net unfolding. 1998.

• Deussen, Peter:
  Algorithmic Aspects of Concurrent Automata. 1998.

• Aura, Tuomas; Lilius, Johan:
  Time Processes for Time Petri Nets. 1997.

• Kindler, Ekkart; Walter, Rolf:
  Arc-Typed Petri Nets. 1996.

• Pomello, L.; Rozenberg, G.; Simone, C.:
  A Survey of Equivalence Notions for Net Based Systems. 1992.

• Vogler, Walter:
  Partial Words versus Processes: A Short Comparison. 1992.

• Janicki, Ryszard; Koutny, Maciej:
  Optimal Simulations, Nets and Reachability Graphs. 1991.

• Vogler, Walter:
  Failure Semantics Based on Interval Semiwords is a Congruence for Refinement. 1991.

• Fanchon, J.:
  Fifo-Net Models for Processes with Asynchronous Communication. 1991.

• Krämer, Bernd; Luqi,; Berzins, Valdis:
  High-Level-Net Semantics of a Real-Time Prototyping Language. 1991.

• Vogler, Walter:
  Is Partial Order Semantics Necessary for Action Refinement? 1991.

• Strack, Veronika:
  Zur Semantik graphbasierter Modellierungsmethoden. 1990.

• Best, Eike; Koutny, Maciej:
  Partial Order Semantics of Priority Systems. 1990.

• Gold, Robert; Vogler, Walter:
  Quality Criteria for Partial Order Semantics of Place/Transition Nets. 1990.

• Vogler, Walter; Gold, Robert:
  Quality Criteria for Partial Order Semantics of Place/Transition Nets. 1990.

• van Glabbeek, Rob; Goltz, Ursula:
  Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care. 1989.

• van Glabbeek, Rob; Goltz, Ursula:
  Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care. 1989.

• van Glabbeek, Rob; Goltz, Ursula:
  Equivalence Notions for Concurrent Systems and Refinement of Actions. 1989.

Back to the Petri Nets Bibliography