Keyword: axiomatization

• Tarasyuk, Igor V.:
  An algebra of labelled nondeterministic processes. 1996.

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

• Tuominen, Heikki:
  Elementary Net Systems and Dynamic Logic. 1990.

• Mukund, Madhavan; Thiagarajan, P.S.:
  An Axiomatization of Well Branching Prime Event Structures. 1990.

• Mukund, Madhavan:
  Expressiveness and Completeness of a Logic for Well Branching Prime Event Structures. 1990.

• Lodaya, K.; Ramanujam, R.; Thiagarajan, P.S.:
  A Logic for Distributed Transition Systems. 1989.

• Penczek, W.:
  A Temporal Logic for the Local Specification of Concurrent Systems. 1989.

Back to the Petri Nets Bibliography