A Graphical Petri Nets Simulator - Rochester Institute of Technology

More documents

Recommendations

Info

sequence that will enable it. A transition of a Petri Net is live if it is potentially firable in all reachable markings. A Petri Net is live if all its transitions are live. A live net is a deadlock-free net. A deadlock in a Petri net would be reflected as transitions which cannot fire (are not enabled), and no sequence of transition firings will take the net to a marking that allows them to fire.
1.3 Sub-class of Petri Net Many extensions have been added to basic Petri Nets to extend the modeling power of Petri Net when applying it on real systems. This section gives short descriptions ofvarious extensions ofPetri Net. One of the extensions is to remove the constraint that a place may contribute or receive only one token from the firing of a transition[10]. This extension is for those systems that might need more than one identical resource to change to another state. For example, consider the chemical reaction that needs two P and three CI2 to produce two PCI3. This is modeled by allowing multiple arcs between transitions and places, signifying the number oftokens needed. Petri Nets that allow multiple arcs have been called generalized Petri Nets[5]. Using an arc with a weighted number instead of multiple arcs between places and transitions is called weighted Petri Net. Fig. 4.a Generalized Petri Net Fig. 4.b Weighted Petri Net Both weighted Petri Nets and generalized Petri Nets have the same properties. A special extension of Petri Nets is so-called zero-testing: a transition can fire only when some of the input places have no token residing on them.
Page 2 and 3: Title ofThesis : A Graphical Petri
Page 4 and 5: 6.1 Alternative Approaches for Impr
Page 6 and 7: 1. Introduction and Background Real
Page 8 and 9: output function O defines, for each
Page 12 and 13: The arcs that connect the input pla
Page 14 and 15: the firing of a transition is possi
Page 16 and 17: The GPNS only implements a subset o
Page 18 and 19: 2.1 SPECS Project 2. Previous Work
Page 20 and 21: There are more Petri Net tools avai
Page 22 and 23: Tool Net Type edit or ana lysis sim
Page 24 and 25: 3. Functional Specification The GPN
Page 26 and 27: OPTION- Log EXIT Prog Generate gene
Page 28 and 29: 4. PROGRAM DESCRIPTION 4.1 Overview
Page 30 and 31: 4.3. Data Structure Format of Drive
Page 32 and 33: 4.4. The Flow Chart ofthe Shell Pro
Page 34 and 35: 4.6. The Graphical Driver The core
Page 36 and 37: menu.c form.c segment.c main.c acti
Page 38 and 39: select font init map select map map
Page 40 and 41: disp menu save form "6 | file menu
Page 42 and 43: hilit icon I hilit place hilit tran
Page 44 and 45: prog generator pheader pdecl psetup
Page 46 and 47: n^Rcs"1 sel seg hilit icon message
Page 48 and 49: The structures used to represent th
Page 50 and 51: Erasing a place Starting Conditions
Page 52 and 53: Adding an arc Starting Conditions :
Page 54 and 55: Reading a file Starting Conditions
Page 56 and 57: The in and out matrix share the sam
Page 58 and 59: form.c int disp form() int bound fo
Page 60 and 61:
graphics.c int newviewO void write
Page 62 and 63:
maputil. c MAP_T* init map() void s
Page 64 and 65:
objects.c void connectingO void era
Page 66 and 67:
segment.c char* char* SEG_T* strsav
Page 68 and 69:
sim.c void redraw placeO void init
Page 70 and 71:
5.2 Limitations ofthe System The fo
Page 72 and 73:
eachability ofsystem states deadloc
Page 74 and 75:
[11] Leon J. Mekly, Stephen S. Yan
Page 76 and 77:
Table of Contents Introduction 1 1.
Page 78 and 79:
2. Getting Started To start a GPNS
Page 80 and 81:
3. Introduction to the user interfa
Page 82 and 83:
Forms Users' Manual Sometimes, afte
Page 84 and 85:
3.2.2 The contents of menus FILE Us
Page 86 and 87:
Interactive - Automatic Issuing Use
Page 88 and 89:
3.3. Panel Users' Manual Fig. 5 int
Page 90 and 91:
TOKENS - ERASE - The The Users' Man
Page 92 and 93:
Users' Manual 1. Set the current ed
Page 94 and 95:
Users' Manual 1. an arc drawn betwe
Page 96 and 97:
Users' Manual 2. Move the mouse cur
Page 98 and 99:
4.2. Simulating showing Users' Manu
Page 100 and 101:
Users' Manual In a certain marking,
Page 102 and 103:
Users' Manual Note : If the interna
Page 104 and 105:
procondo.c #include "structdef.h" #
show all

A Graphical Petri Nets Simulator - Rochester Institute of Technology

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?