Petri Net Algorithm for controlling and monitoring system

Abstract

The Petri Net has gained increased usage and acceptance as a basic model of systems as an asynchronous concurrent computation. This paper searches the basic concepts and uses of the Petri Nets. The structures of the Nets, their makings and execution, several examples of Petri Net models of controlling and monitoring and research into the analysis of the Petri Nets are presented, as a the use of the reachability tree and decidability and complexity of some Petri Nets problems. Petri Net languages, model of computation related to Petri Nets, and some extensions and subclasses of the Petri Net model are also presented.