Lakos, C.

• Lakos, C.; Petrucci, L.:
  Modular state space exploration for timed petri nets. 2007.

• Lakos, Charles:
  A Petri Net View of Mobility. 2005.

• Lakos, Charles; Petrucci, Laure:
  Modular Analysis of Systems Composed of Semiautonomous Subsystems. 2004.

• Lakos, Charles:
  The Challenge of Object Orientation for the Analysis of Concurrent Systems. 2002.

• Bastide, R.; Lakos, C.; Palanque, P.:
  A Cooperative Petri Net Editor. 2001.

• Lakos, C.:
  Object Oriented Modeling with Object Petri Nets. 2001.

• Lewis, Glenn; Lakos, Charles:
  Incremental State Space Construction for Coloured Petri Nets. 2001.

• Lakos, Charles:
  Composing Abstractions of Coloured Petri Nets. 2000.

• Lakos, C.; Lamp, J.:
  The incremental modeling of the Z39.50 protocol with object Petri nets. 1999.

• Lakos, Ch.:
  Modeling Mobile IP with Mobile Petri Nets. 06.

Back to the Petri Nets Bibliography