Keyword: partial orders

• van der Aalst, Wil M.P.; Basten, Twan:
  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. 2001.

• Khomenko, V.; Koutny, M.:
  LP deadlock checking using partial order dependencies. 2000.

• Myers, C.J.; Rokicki, T.G.; Meng, T.H.-Y.:
  POSET timing and its application to the synthesis and verification of gate-level timed circuits. 1999.

• Virbitskaite, I.B.; Pokozy, E.:
  A partial order method for the verification of time Petri nets. 1999.

• Haar, Stefan:
  Quotients of Relational Structures. 1998.

• Cheng, Allan:
  Petri nets, traces and local model checking. 1997.

• Kiehn, A.:
  Observing partial order runs of Petri nets. 1997.

• Boudol, G.; Castellani, I.:
  Flow models of distributed computations - 3. Equivalent semantics for CCS. 1994.

• Rozoy, Brigitte:
  On Distributed Languages and Models for Concurrency. 1992.

Back to the Petri Nets Bibliography