Petri Nets (PN) models and net theory have become an important computational paradigm to represent and analyze a broad class of systems. As a computational paradigm for intelligent systems, net theory provides a graphical language to visualize, communicate and interpret engineering problems, as well as a specification and engineering language which can be used as a development, simulation and implementation tool (6). PN have the ability to represent and analyze in an easy way concurrency and asynchronization phenomena, like concurrent evolutions, where various processes that evolve simultaneously are partially independent. Furthermore, PN approach can be easily combiend with other techniques and theories such as object-oriented programming, fuzzy sets, neural networks, etc. These combined PN are widely used in computer systems, manuufacturing systems, robotic systems, knowledge based systems, process contorl, as wel las other kinds of engineering applications.
展开▼