Download:
by Jang Eui Hong, Doo-hwan Bae, Corresponding Jang, Eui Hong
http://salmosa.kaist.ac.kr/LAB/MEMBER/DrBae/Publication_file/jehong_ijis.pdf
Add To MetaCart
Abstract:
Petri net is a useful language to analyze and model various systems formally. Recently, many Petri nets mania devote their e orts to enhancing and extending the expressive power of Petri nets. One such e ort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Several high-level Petri nets with the concept of objects are suggested. These nets do not fully support the object-oriented concept, and thus can not be called object-oriented Petri nets. In this paper, we propose a hierarchical object-oriented Petri net, called HOONet(Hierarchical Object-Oriented Petri Net). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of object-oriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of analysis mechanisms such as decomposal, re ned and incremental approaches to evolve systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. In addition, we demonstrate the usefulness of HOONet by applying it to modeling and analsis with an example, and some areas which can bene t by adoption of HOONet are mentioned.
Citations
|
1023
|
Petri nets: Properties, analysis and applications
– Murata
- 1989
|
|
797
|
Object-Oriented Software Engineering. A Use Case Driven Approach
– Jacobson, Christerson, et al.
- 1993
|
|
583
|
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use
– Jensen
- 1992
|
|
287
|
Executable Object Modeling with Statecharts
– HAREL, GERY
- 1997
|
|
198
|
et al. Object-Oriented Modeling and Design
– Rumbaugh
- 1991
|
|
171
|
Coloured Petri Nets
– Jensen
- 1990
|
|
53
|
OBJSA Nets: A Class of High-Level Nets Having Objects as Domains
– Battiston, Cindio, et al.
- 1988
|
|
39
|
A survey of behaviour and equivalence preserving refinements of Petri nets
– Brauer, Gold, et al.
- 1990
|
|
31
|
Modeling Distributed Software Systems with Object Coordination Nets
– Giese, Graf, et al.
- 1998
|
|
24
|
A concept of hierarchical Petri nets with building blocks
– Fehling
- 1993
|
|
19
|
Approaches in unifying Petri nets and the Object-Oriented Approach
– Bastide
- 1995
|
|
16
|
OPNets: An Object-Oriented High-Level Petri Net Model for Real-Time System Modeling
– Lee, Park
- 1993
|
|
15
|
Class Orientation and Inheritance in Modular Algebraic Nets
– Battiston, Cindio
- 1993
|
|
14
|
PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications
– Holvoet, Verbaeten
- 1995
|
|
14
|
On the Abstraction of Coloured Petri Nets
– Lakos
- 1997
|
|
10
|
Petri Nets with Uncertain Markings
– CARDOSO, VALETTE, et al.
- 1990
|
|
5
|
Modeling of Cooperative Editors Using COOPN/2
– Biberstein, Buchs, et al.
- 1996
|
|
5
|
An Enhancement of Timed Automata Generation from Timed Scenarios using Grouped States
– Somé, Dssouli
- 1996
|
|
4
|
PAM: A Petri Net-Based Abstract Machine for the Specification of Concurrent Systems
– Bachatene, Coriat
- 1995
|
|
4
|
LOOPN++: A New Language for Object-Oriented Perti Nets
– Lakos, Keen
- 1994
|
|
3
|
Towards Reusable Colored Petri Nets
– Lee, Hong, et al.
- 1998
|
|
3
|
G-Nets: aPetri Net Based Approach for Logical and Timing Analysis of Complex Software Systems
– Perkusich, Figueiredo
- 1997
|
|
3
|
Formal Object-Oriented Development
– Schuman
- 1997
|
|
2
|
et al, Integration of Sequential Scenarios
– Desharnais
- 1998
|
|
2
|
The Object Orientation of Object Petri Nets," Proceeding of the Int'l workshop on Object-Oriented and Models of Concurrency
– Lakos
- 1995
|
|
1
|
Jaoua \Abstraction of objects by conceptual clustering
– Ajroud, A
- 1998
|
|
1
|
An Object-Oriented Speci cation Language based on Hierarchical Algebraic Petri Nets
– Biberstein, Buchs
- 1994
|
|
1
|
Eui Hong and Doo-Hwan Bae, \HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis
– Jang
- 1998
|
