Lakos, C.A.

• Lakos, Charles A.; Kristensen, Lars M.:
  State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. 2005.

• Lakos, Charles A.:
  On the Abstraction of Coloured Petri Nets. 1997.

• Lakos, Charles A.:
  The Consistent Use of Names and Polymorphism to Achieve an Elegant Definition of Object Petri Nets. 1996.

• Lakos, Charles A.:
  From coloured Petri Nets to Object Petri Nets. 1995.

• Lakos, Charles A.:
  Pragmatic Inheritance Issues for Object Petri Nets. 1995.

• Lakos, C.A.:
  The Object Orientation of Object Petri Nets. 1995.

• Lakos, C.A.; Keen, C.D.:
  An Open Software Engineering Environment Based on Object Petri Nets. 1995.

• Lakos, Charles A.; Lamp, John; Keen, Chris; Marriott, Brian:
  Modelling Network Protocols with Object Petri Nets. 1995.

• Keen, C.D.; Lakos, C.A.:
  Information Systems Modelling using LOOPN++, an Object Petri Net Scheme. 1994.

• Lakos, C.A.:
  From Coloured Petri Nets to Object Petri Nets. 1994.

• Lakos, C.A.:
  Object Petri Nets Ü Definition and Relationship to Coloured Nets. 1994.

• Lakos, C.A.; Keen, C.:
  LOOPN++: A New Language for Object-Oriented Petri Nets. 1994.

• Keen, C.D.; Lakos, C.A.:
  A Methodology for the Construction of Simulation Models Using Object-oriented Petri Nets - Modelling and Simulation 1993. 1993.

• Lakos, C.A.:
  Coloured Petri Nets Extended with Place Summary Functions. 1993.

• Lakos, C.A.:
  The Role of Substitution Places in Hierarchical Coloured Petri Nets. 1993.

• Lakos, Charles A.; Christensen, Søren:
  A General Systematic Approach to Arc Extensions for Coloured Petri Nets. 1993.

• Lakos, C.A.; Keen, C.D.:
  Applying Invariant Analysis to Modular Petri Nets. 1993.

• Lakos, C.A.; Keen, C.D.:
  Modelling a Door Controller Protocol in LOOPN. 1993.

• Lakos, C.A.:
  LOOPN System Manual. 1992.

• Lakos, C.A.:
  LOOPN User Manual. 1992.

• Lakos, C.A.; Keen, C.D.; Palmer, E.J.:
  A Flexible Distributed Simulator for Object-oriented Petri Nets. 1992.

• Lakos, C.A.; Keen, C.D.:
  LOOPN - Language for Object-Oriented Petri Nets. 1991.

• Lakos, C.A.; Keen, C.D.:
  Simulation with Object-Oriented Petri Nets. 1991.

• Lakos, C.A.; Keen, C.D.:
  Modelling Layered Protocols in LOOPN. 1991.

• Lakos, C.A.; Keen, C.D.:
  LOOPN --- Language for Object-Oriented Petri Nets. 1990.

Back to the Petri Nets Bibliography