HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis

Petri nets is a very useful language to analyze and model system formally. Recently, many Petri nets mania devote their eeorts to enhance and/or extend the expressive power of Petri nets. One of these eeorts is to extend Petri nets with object-oriented concepts. Object-oriented paradigm provides very excellent concepts to model real-world problems. Object-oriented concepts can make us to build software system easily, intuitively, and naturaly. Several high-level Petri nets with the concepts of objects were suggested. These nets do not fully support the object-oriented concept, thus can not be called object-oriented Petri nets. Through our research, we propose a hierarchical object-oriented Petri nets, called HOONets (Hierarchical Object-Oriented Petri Nets). The formal syntax and semantics of HOONets are explained in detail. HOONets support wide range of object-oriented features including abstract, encapsulated and modularized object, object interaction by message passing, and inheritance and ploymorphism. HOONets also support a variety of analysis mechanisms such as decomposal, reened and incremental approach to evolve system, unfolding the nets to lower level Petri nets, and incremental reachability analysis for HOONet models. In addition, we demonstrate the usefulness of HOONets with applying it to model and analyze with an example, and mention on the some areas which can gain the beneecial results by adoption of HOONets.

[1]  Doo-Hwan Bae,et al.  Towards Reusable Colored Petri Nets , 1998, PDSE.

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Pierre Verbaeten,et al.  Petri charts: an alternative technique for hierarchical net construction , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[4]  Holger Giese,et al.  Modeling Distributed Software Systems with Object Coordination Nets , 1998, PDSE.

[5]  Nicolas Guelfi,et al.  Modeling of Cooperative Editors Using COOPN/2 , 1996 .

[6]  MSc PhD Kevin Lano BSc.  Formal Object-Oriented Development , 1995, Formal Approaches to Computing and Information Technology FACIT.

[7]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[8]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[9]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[10]  E. Battiston,et al.  Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[11]  Björn Regnell,et al.  A hierarchical use case model with graphical representation , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[12]  Sung Joo Park,et al.  OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..

[13]  Jeffrey D. Ullman.  Elements of ML programming , 1994 .

[14]  Carolyn Brown,et al.  Refinement and Simulation of Nets - A Categorical Characterisation , 1992, Application and Theory of Petri Nets.

[15]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[16]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[17]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[18]  Stéphane S. Somé,et al.  An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States , 1996 .

[19]  Daniel Moldt,et al.  Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[20]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[21]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[22]  Jorge C. A. de Figueiredo,et al.  G-Nets: A petri net based approach for logical and timing analysis of complex software systems , 1997, J. Syst. Softw..

[23]  Ali Jaoua,et al.  Abstraction of Objects by Conceptual Clustering , 1998, Inf. Sci..

[24]  Charles Lakos,et al.  The Object Orientation of Object Petri Nets , 1995 .