One possibility for the synthesis of autonom Petri Nets

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.