As some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded net can dramatically reduce its size, but this operation requires the unfolded net to be represente...

Interactions are communication acts which take place between at least two agents and result in information interchange. To represent these activities, formal methods can be used to model interaction flows and Colored Petri Nets (CPNs) are a handy formal language with graphical notation for modeling systems. This paper introduces wiCPN (Web Interaction Modeling Using Colored Petri Nets), a langu...