Keyword: specification

• Ezzedine, H.; Kolski, C.:
  Modelling of cognitive activity during normal and abnormal situations using Object Petri Nets, application to a supervision system. 2005.

• Alexander, Adrianna:
  Composition of Temporal Logic Specifications. 2004.

• Moldt, Daniel; Offermann, Sven; Ortmann, Jan:
  A Proposal for Petri Net Based Web Service Application Modeling. 2004.

• Kindler, E.; Vesper, T.:
  ESTL: Some Proof Techniques. 2003.

• Kindler, Ekkart; Vesper, Tobias:
  ESTL: A Temporal Logic for Events and States. 1998.

• Fernandes, Joćo M.; Adamski, Marian; Proença, Alberto J.:
  VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers. 1997.

• Kindler, Ekkart; Vesper, Tobias:
  A Temporal Logic for Events and States in Petri Nets. 1997.

• Kindler, Ekkart; Walter, Rolf:
  Arc-Typed Petri Nets. 1996.

• Anisimov, N.A.:
  A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems. 1991.

• Best, E.; Esparza, J.:
  Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148. 1991.

• Richter, G.; Heuser, C.A.:
  Spezifikation und Analyse von Informationssystemen. 1991.

• Bramini, David:
  Specification and Prototypical Implementation of a User Interface for OBJSA Nets Languages. 1990/91.

• Mehrpour, H.; Karbowiak, A.E.:
  Modelling and Analysis of the DOD TCP/IP Using Numerical Petri Nets. 1990.

• Pätzold, P.:
  Erreichbarkeitsanalyse in verteilten Systemen mit Petri-Netzen. 1990.

• Sagoo, J.S.:
  The Specification and Design of Hard Real-Time Systems Using Timed and Temporal Petri Nets. 1990.

• He, Xudong; Lee, John A.N.:
  Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 1990.

• Yuan, Chong Yi:
  Towards a General Solution of System Automation: A Net Specification of an N-Lift System. 1990.

• Munemori, J.; Mizuno, T.; Takeda, S.:
  An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets. 1988.

Back to the Petri Nets Bibliography