Trace nets and process automata

Trace nets are a variant of one-safe Petri nets, where input and output places may be filled as well as emptied by transitions. Those extended nets are introduced for modelling concurrency in a simple format of structural operational specifications, based on permutation of proved transitions. Trace...

Full description

Bibliographic Details
Published in:Acta informatica, Vol. 32, No. 7 (1995), p. 647-679
Main Author: Badouel, Eric
Other Involved Persons: Darondeau, Philippe
Format: electronic Article
Item Description:This work was partly supported by the project MASK of the E.C. Program Science.
Physical Description:Online-Ressource
QR Code: Show QR Code