Advances in Petri Nets 1985
Rozenberg, Grzegorz
The signing of a contract ¿ a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an exten...