A Graphical Petri Nets Simulator - Rochester Institute of Technology

More documents

Recommendations

Info

Title ofThesis : A Graphical Petri Nets Simulator I Shye-Chyun Huang hereby grant permission to the Wallace Memorial Library, of RIT, to reproduce my thesis in whole or in part. Any reproduction will not be for commercial use or profit. Date: July 27,1988 Shye-ChyunHuang
Title and Acceptance Page Abstract Computing Review Subject Code 2 Table of Contents 1. Introduction and Background 3 1.1 Introduction 3 1.2 Basic Petri Nets 1.3 Subclass ofPetri Nets 1.4 Requirements ofPetri Net Tool 12 1.5 The Advantages ofUsing a Petri Net Tool 14 2. Previous Work 15 2.1 SPECS Project 15 2.2 PSI 16 2.3 Tool Overview 18 2.4 Comparisons between GPNS and other Petri Net Tools 20 3. Function Specification 21 3.1 NetEditor 21 3.2 Simulator 24 3.3 Auxiliary Application Program 24 4. Program Description 25 4.1 Overview 25 4.2 The System Organization Chart 26 4.3 Data Structure Formates 27 4.4 The Flow Chart ofthe Shell Program 29 4.5 The Algorithm ofthe Main Function 30 4.6 The Graphics Driver 31 4.7 The User Interface 32 4.8 Hierarchical Process Diagram 33 4.9 The Simulator 52 4.10Function List 54 5. Conclusion 66 5.1 Problem Encounted and Solved 66 5.2 Limitation ofthe System 67 6. Lession Learned 68 1 2 4 8
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 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?