Keyword: formal languages

• Cerone, A.; Maggiolo-Schettini, A.:
  Time-based expressivity of time Petri nets for system specification. 1999.

• Czaja, Ludwik; Kudlek, Manfred:
  Rational, Linear and Algebraic Process Languages and Iteration Lemmata. 1999.

• Darondeau, P.:
  Deriving unbounded Petri nets from formal specifications. 1998.

• Keesmaat, N.W.; Kleijn, H.C.M.:
  The Effect of Vector Synchronization Residue and Loss. 1992.

Back to the Petri Nets Bibliography