Kleijn, H.C.M.

• Kleijn, H. C. M.; Koutny, M.:
  Infinite Process Semantics of Inhibitor Nets. 2006.

• Kleijn, H.C.M.; Koutny, M.:
  Process semantics of general inhibitor nets. 2004.

• Carmona, J.; Kleijn, H.C.M.:
  Interactive Behaviour of Multi-Component Systems. 2004.

• Kleijn, H. C. M.; Koutny, M.:
  Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. 2002.

• Kleijn, H.C.M.; Morin, R.; Rozoy, B.:
  Event Structures for Local Traces. 2000.

• Kleijn, H.C.M.; Morin, R.; Rozoy, B.:
  A general categorical connection between local event structures and local traces. 1999.

• Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.:
  An Event Structure Semantics for General Petri Nets. 1996.

• Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.:
  A trace semantics for Petri nets. 1995.

• Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.:
  Local Event Structures and Petri Nets. 1993.

• Keesmaat, N.W.; Kleijn, H.C.M.:
  The Effect of Vector Synchronization Residue and Loss. 1992.

• Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.:
  A Trace Semantics for Petri Nets. 1991.

• Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.:
  A Trace Semantics for Petri Nets. 1991.

• Keesmaat, N.W.; Kleijn, H.C.M.; Rozenberg, G.:
  Vector Controlled Concurrent Systems. I: Basic Classes. 1990.

• Keesmaat, N.W.; Kleijn, H.C.M.:
  Net-Based Control vs. Rational Control in Vector Controlled Concurrent Systems. 1989.

• Goeman, H.J.M.; Groenwegen, L.P.J.; Kleijn, H.C.M.; Rozenberg, G.:
  Constrained Petri Nets, Part II: Generalizations and Extensions. 1983.

• Goeman, H.J.M.; Groenwegen, L.P.J.; Kleijn, H.C.M.; Rozenberg, G.:
  Constrained Petri Nets. 1983.

Back to the Petri Nets Bibliography