14.02.2013 Views

A Graphical Petri Nets Simulator - Rochester Institute of Technology

A Graphical Petri Nets Simulator - Rochester Institute of Technology

A Graphical Petri Nets Simulator - Rochester Institute of Technology

SHOW MORE
SHOW LESS

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

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1. Introduction and Background<br />

Real systems are too complex to be fully<br />

understood. Even small<br />

systems will eventually exhibit an enormous complexity when examined in<br />

sufficient detail. Therefore, the design, implementation,<br />

complex systems have become serious problems,<br />

and maintenance <strong>of</strong><br />

and the subject <strong>of</strong> much<br />

research and experimentation^]. <strong>Petri</strong> Net is a modeling tool developed by<br />

focusing only on a small part and ignoring the majority<br />

master the complexity and to "understand"<br />

<strong>of</strong> the system to<br />

the system. This modeling tools<br />

can be used to model the real systems or develop a new one. By studying the<br />

models rather than the real system, the cost, inconvenience,<br />

manipulating<br />

1.1 Introduction<br />

the real system can be avoided.<br />

or danger <strong>of</strong><br />

<strong>Petri</strong> <strong>Nets</strong>, introduced by Carl Adam <strong>Petri</strong> in his thesis[13], have a<br />

simple graphical representation, widely elaborated theoretical background,<br />

and excellent ability to represent synchronous and asynchronous events. Both<br />

the structure and the behavior <strong>of</strong> a system can be described with the same<br />

graphical notations[9].<br />

The properties, concept, and techniques <strong>of</strong> <strong>Petri</strong> <strong>Nets</strong> are<br />

being developed in a search for natural, simple, and powerful<br />

methods for describing and analyzing the flow <strong>of</strong> information<br />

and control in systems. The major use <strong>of</strong> <strong>Petri</strong> <strong>Nets</strong> has been<br />

the modeling <strong>of</strong> systems <strong>of</strong> events in which it is possible for<br />

some events to occur concurrently, but there are constraints<br />

on the concurrence, precedence, or frequency <strong>of</strong> these<br />

occurrences[5].<br />

<strong>Petri</strong> <strong>Nets</strong> have been used as a powerful modeling tool in modeling real<br />

systems especially on those systems that may<br />

concurrent activities.<br />

3-<br />

exhibit asynchronous and

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!