Keyword: validation

• Christensen, S.; Kristensen, L.M.:
  State Space Analysis of Hierarchical Coloured Petri Nets. 2003.

• Mikolajczak, Boleslaw; Sefranek, Charles:
  Integrating Object-Oriented Design with Petri Nets - Case Study of ATM System. 2003.

• Grahlmann, Bernd:
  Parallel Programs as Petri Nets. 2001.

• Chandra, R.; Cukier, M.; Lefever, R. M.; Sanders, W. H.:
  Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. 2000.

• Feldmann, Klaus; Colombo, Armando Walter:
  Material Flow and Control Sequence Specification of Flexible Production Systems using Coloured Petri Nets. 1998.

• Jensen, K.:
  An Introduction to the Practical Use of Coloured Petri Nets. 1998.

• Christensen, Søren; Kristensen, Lars Michael:
  State Space Analysis of Hierarchical Coloured Petri Nets. 1997.

• Diagne, Alioune; Ilié, Jean-Michel; Moldt, Daniel:
  A Petri net-based support for object-oriented specification of complex control systems. 1997.

• Heiner, Monika; Deussen, P.; Spranger, J.:
  A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets. 1996.

• Belli, F.; Dreyer, J.:
  Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming. 1995.

• Heiner, Monika; Deussen, P.:
  Petri Net Based Qualitative Analysis - A Case Study. 1995.

• Chehaibar, Ghassan:
  Use of Reentrant Nets in Modular Analysis of Colored Nets. 1991.

• Shapiro, R.M.:
  Validation of a VLSI Chip Using Hierarchical Colored Petri Nets. 1991.

• Florin, G.; Fraize, C.; Natkin, S.:
  Searching Best Paths to Worst States. 1991.

• Soussi, Younes:
  Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets. 1991.

• Abellard, P.; Nolibe, G.; Razafindrakoto, N.:
  A Data Flow Architecture for Parallel Computation. 1990.

• Bastide, R.; Palanque, P.:
  Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. 1990.

• Chehaibar, Ghassan:
  Validation of Phase-Executed Protocols Modelled with Colored Petri Nets. 1990.

• Oberweis, A.:
  Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. 1990.

• Morasca, Sandro; Pezzè, Mauro:
  Validation of Concurrent Ada Programs Using Symbolic Execution. 1989.

• Chang, C.K.; Chang, Y.-F.; Song, C.-C.; Aoyama, M.:
  INTEGRAL: Petri-Net Approach to Distributed Software Development. 1989.

• Gerrand, P.H.:
  Experience Gained in Applying Formal Description Techniques to the Design of Complex Real-Time Computing Systems. 1989.

• Haddad, S.; Couvreur, J.M.:
  Validation of Parallel Systems with Coloured Petri Nets. 1988.

• Sakthivel, S.; Tanniru, M.R.:
  Information System Verification and Validation during Requirement Analysis Using Petri Nets. 1988/89.

Back to the Petri Nets Bibliography