Keyword: object-orientation

• Thanh, Cécile Bui; Klaudel, Hanna:
  Object-Oriented Modelling with High-Level Modular Petri Nets. 2004.

• Philippi, Stephan:
  Formally based modeling and inheritance of behaviour in object-oriented systems. 2004.

• Verbeek, H.M.W.; Basten, Twan:
  Deciding Life-Cycle Inheritance on Petri Nets. 2003.

• Jian, Yu; Shengyuan, Wang; Chongyi, Yuan:
  Solving inheritance anomaly with OMNets. 2002.

• Wang, Shengyuan; Yu, Jian; Yuan, Chongyi:
  A Net-Based Multi-tier Behavior Inheritance Modelling Method. 2001.

• Shengyuan, Wang; Jian, Yu; Chongyi, Yuan:
  A pragmatic behavior subtyping relation based on both states and actions. 2001.

• Giese, Holger; Wirtz, Guido:
  Visual Modeling of Object-Oriented Distributed Systems. 2001.

• Philippi, Stephan:
  Visual Programming of Concurrent Object-Oriented Systems. 2001.

• Aoumeur, N.; Saake, G.:
  Specifying and validating train control systems using an appropriate component-based Petri net tool. 2000.

• Balzarotti, C.; De Cindio, F.; Pomello, L.:
  Observation equivalence for the semantics of inheritance. 1999.

• Nuetzel, J.; Daene, B.; Fengler, W.:
  Object nets for the design and verification of distributes and embedded systems. 1998.

• Machado, Ricardo Jorge; Fernandes, Joćo M.; Proença, Alberto J.:
  Specification of Industrial Digital Controllers with Object-Oriented Petri Nets. 1997.

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

Back to the Petri Nets Bibliography