On the structural and behavioural characterization of P/T nets

Abstract

Deadlocks and traps are well-known net structures that may be identified to characterize the behavior of nets. These structures have been defined on ordinary nets (with arc multiplicity 1). Although they can be computed on generalized nets (with arc multiplicity /spl ges/ 1), their relation with behavioral properties becomes less clear in this case. Similar problems may be found in the definition of conflicts: the structural concept is defined in terms of sharing of input places, while the behavioral definition of conflict is usually introduced in the framework of safe nets. A redefinition of some behavioral properties for P/T nets in their general case is attempted in order to have a better correspondence between behavioral and structural properties.<>