Trace nets and process automata
From MaRDI portal
Publication:1902303
DOI10.1007/BF01186645zbMath0831.68067MaRDI QIDQ1902303
Philippe Darondeau, Eric Badouel
Publication date: 13 February 1996
Published in: Acta Informatica (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Tile formats for located and mobile systems., The synthesis of Petri nets from path-automatic specifications, Identification of Petri nets from knowledge of their language
Cites Work