Hierarchical Petri Nets
The MIT Press eBooks · 2011
Petri net is a perfect model to describe and analyze concurrent systems. However, in large or complex applications of the real world, it may run into the problem that the amount of nodes is too large. Colored Petri nets and several hierarchical Petri nets, such as place/transition refinement nets, object nets and open nets are introduced. Also, the methods of deduction of amount of nodes and introduction of hierarchy into models are analyzed and compared. Further, the relations of these models with each other in view of their structures are discussed.