A Graphical Petri Nets Simulator - Rochester Institute of Technology

More documents

Recommendations

Info

The GPNS only implements a subset of the model described above. It is a simple net-editor without hierarchical net structure and copy function. The entire overview ofthe GPNS will be seen in the later chapter. 13
1.5 The advantages of using a Petri Net tool By applying the Petri Net tools on a computer the user may gain some advantagest 14]. The first advantage is the possibility to obtain better results. The computer based drawing systems provide the user with precision and drawing quality. Also, by applying the analysis techniques offered by the computer, it is possible to obtain results which could be error-prone or very time consuming ifdone by manually. The second important advantage of using Petri Net tools is the possibility to obtain faster results. By taking the functions offered by the computer based drawing system, such as copying the part of the net, moving part of the net, it can remarkably speed up the drawing and modifying process. If the tool provides some automatic adjustments, such as to realign the arcs when moving the node or erase the node, or to do some error checking, the user can avoid making errors that would later have to be corrected. A third advantage is the possibility to make an interactive presentation of the results. A computer based net simulator makes it possible to demonstrate the occurrence sequences in a net. Users can trace the behavior ofthe designed net step by step, and observe the result immediately. Finally, computerized tools may have the advantage of assisting the user in structuring the process by which he obtains the results. As an example, instead of drawing a complicated big net they force the user to draw a small net, and then refine some of the nodes in this net, by drawing a new net for each ofthem. This process results in a hierarchy ofsmall nets. 14
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 10 and 11: sequence that will enable it. A tra
Page 12 and 13: The arcs that connect the input pla
Page 14 and 15: the firing of a transition is possi
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?