10.2 A Car Rental System This section demonstrates the application of the thesis to a non-consistent Petri net. ... The poset diagram consists of two components, each of which consists of four nodes connected in a directed path. Component #1 anbsp;...
|Title||:||A general approach to decomposition of petri nets|