INTRODUCING OBJECT-ORIENTATION IN UNIFIED PETRI NET APPROACH
Silva, Jose Reinaldo and Armando, Jos{\'{e}} and Pedro, San and Salmon, Arianna Olivera and Gonzalez, Pedro M
- Journal
- Autor
- Silva, Jose Reinaldo and Armando, Jos{\'{e}} and Pedro, San and Salmon, Arianna Olivera and Gonzalez, Pedro M
- Book Title
- Proc. of 20th. Int. Cong. in Mechanical Engineering
- Volume
- 0
- Página(s)
- DOI
- Published
- 2009
- Month
- 0
- Tipo de Documento
- Conference Proceedings
- Abstract
- Since the beginning of this century two major tendencies in the state-of-art of Petri Nets emerged: one is the confirmation of Petri Nets as a sound formalism to model several discrete systems in different areas of knowledge, since biological and chemical systems up to the control systems applied to manufacturing and automated process in general; another tendency is the introduction of a unified approach to Petri Nets, giving another perspective to the profusion of particular approaches and extensions. Even high-level nets are now envisaged as a general approach that subsumes elementary nets through Basic High-Level Nets. However, besides the importance and adherence to the principles behind Petri Nets formalism, there is not a significant effort to provide practical modeling tools that reflect the new unified view for Petri Nets, maintaining expressibility and the efficiency to analyze, simulate and document preliminary design of distributed systems. Such approach could be derived of a full integration between modeling properties and a general design paradigm such as object orientation. That is what is proposed in the present paper, where a balanced approach between an hierarchical structured approach and a an inheritable object one is presented in a generic environment called GHENeSys (General Hierarchical Enhanced Petri Net). Some partial results of GHENeSys shows a unified object net that tries to encompass all basic features found in classic extensions while enhances the model to include color sets. This proposal is now evolving to include timed nets as described shortly in the final sections. A first version of the environment is used to simple workflow problems that requires a different set of properties of the modeling representation. That shows also the practical advantage of a unified system in conceptual analysis and properties preserving through the hierarchy. The direct advantages of the folding are not addressed but could be easily inferred.
- Keywords
- Discrete Systems,Petri Nes,Petri Nets,formal modeling,unified approach
- Publisher
- ABCM
- URL