loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '95)
PN/sup 3/-Editor: compositional Petri net editor for protocol specification
Durham, North Carolina
January 18-January 20
ISBN: 0-8186-6902-0
N. Anisimov, Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
A. Kovalenko, Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
P. Postupalski, Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
The problem of Petri nets application to real-world parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tool which is an attempt to resolve this problem. We suggest a solution based on an algebraic approach, of Petri net representation. Two levels of compositionality are introduced. The first one, algebraic level offers to a designer a set of net operations (sequential, alternative and parallel composition, iteration and disruption), which allow to build complex Petri nets from simpler ones. The second architectural level allows the user to manipulate with Petri net entities, where the entity is defined to be a Petri net equipped with access points. The suggested technique is implemented in a three-level Petri net editor comprising basic, algebraic and architectural editors.
Index Terms:
Petri nets; protocols; software tools; Petri net editor; protocol specification; PN/sup 3/-Editor; Petri net representation; algebraic level; architectural level
Citation:
N. Anisimov, A. Kovalenko, P. Postupalski, "PN/sup 3/-Editor: compositional Petri net editor for protocol specification," mascots, pp.325, Third IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.