Keyword: formal specification

• Neubert, Ralf; Suessmann, Boris; Colombo, Armando:
  A coloured Petri net-based approach towards a formal specification of agent-controlled production systems. 2002.

• Gorgônio, Kyller Costa; Perkusich, Angelo:
  Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse. 2002.

• Wu, W.; Saeki, M.:
  Specifying software architectures based on colored Petri nets. 2000.

• Xiying, W.; Merz, R.M.; Litz, L.:
  TSIPN Framework for Formal Specification of Logic Control Systems. 2000.

• Bolognesi, T.; Accordino, F.:
  A layer on top of PROLOG for composing behavior constraints. 1998.

• Holvoet, T.; Kielmann, T.:
  Behavior specification of active objects in open generative communication environment. 1997.

• Jirachiefpattana, Ajin; Lai, Richard:
  An NPN system for Estelle verification. 1996.

• Nützel, Jürgen; Fengler, Wolfgang:
  Analysis and Verification of High-Level-Nets in Combination with Formal Estelle Specifications. 1995.

• He, Xudong:
  PZ Nets - A Formal Method integrating Petri Nets with Z. 1995.

• Felder, M.; Mandrioli, D.; Morzenti, A.:
  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.

• Chiola, G.; Marsan, M. A.; Balbo, G.; Conte, G.:
  Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. 1993.

• Cooke, D.E.:
  Formal Specifications of Resource-Deadlock Prone Petri Nets. 1990.

• Yao, Yu-Lin:
  Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS). 1989.

Back to the Petri Nets Bibliography