Design CPN Abstract Coloured Petri Nets CPnets or
Design. CPN • Abstract: Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well suited for systems in which communication, synchronization and resource sharing are important. • CP nets allow data to be of any type that can be defined on the computer. In order to define and manipulate such data, CP nets use computer language statements. The language ML (for Meta Language, no relation to Meta Software) is particularly well suited for use by CP nets.
What offers? • Design/CPN is an interactive computer tool for performing modeling and simulation with CP nets. Design/CPN provides: • An editor for creating and manipulating CP nets. • Syntax checkers for validating CP nets. • A simulator for executing CP nets. • Interactive monitoring and debugging capabilities. • Facilities for organizing a net into a hierarchy of modules. • Animation and charting facilities for displaying simulation results.
Diagram • A diagram is a CP net and optional additional graphics created using Design/CPN stores a diagram as a group of three files. The files are: • 1. The diagram file. This contains data that represents the diagram in a form suitable for displaying and editing. • 2. The DB file. This contains a database describing the diagram. It has the suffix DB. • 3. The ML file. This contains code that represents the diagram in executable form. It has the suffix “. ML”.
Menu Bar The Menu Bar is an ordinary pulldown menu bar. It takes a moment to pull down each of the menus and briefly examine it. A page is a “blank slate” on which you can create CP net structure, and a diagram may contain any number of pages. Every page is displayed in a separate window.
Hierarchy Pages A diagram's hierarchy page contains a small oval, called a page node, for every page in the diagram, including itself. Each page node contains the name of the corresponding page.
CP net data • CP net data is defined using a computer language called CPN ML. • Places: Locations for holding data. • Transitions: Activities that transform data. • Arcs: Connect places with transitions, to specify data flow paths. • Input Arc Inscriptions: Specify data that must exist for an activity to occur. • Guards: Define conditions that must be true for an activity to occur. • Output Arc Inscriptions: Specify data that will be produced if an activity occurs.
. CPN‘s datatypes, data objects, and variables. • CPN datatypes are called colorsets. CPN data objects are called tokens. Tokens are somewhat like objects in an object-oriented programming system. • All CPN datatypes and variables must be declared. They are declared in a declaration box called a global declaration node. o. Place: Name, Color set, Initial Marking o. Transition : Name, Guard o. Arc : Just the assigned name
- Slides: 8