No abstract

No abstract

No abstract

Syntheses techniques of Petri Nets are using both modeling general principles and the analytic techniques for structure and functional proprieties. Each synthetic method is providing a way for using general principles in modeling, which grant some set of compartmental and/or structure proprieties for Petri Net management structure. The synthesis can be done in the following ways: ascending -details are modeled separately and rigorously assembled into a global representation (unique) of the management structure; descending -one global structure's principle (unique) of the management structure is rigorously refined to include details.