| Autor: |
Davidrajuh, Reggie, Saadallah, Nejm |
| Předmět: |
|
| Zdroj: |
International Journal of Simulation: Systems, Science & Technology; Jun2017, Vol. 18 Issue 2, p8.1-8.5, 5p, 8 Diagrams |
| Abstrakt: |
Petri net is a family of modeling formalism; Place-Transition net - the original member of this family - though useful as a modeling tool, it often fails to model real-life discrete event systems. This is because it lacks modeling power. There are many extensions proposed to increase the modeling power; however, these extensions while increasing the modeling power they also decrease the decision (analytical) power. Cohesive Place-Transition net with Inhibitor Arcs (CPTI) is an extension which increases the modeling power while retaining the decision power. Hence, to enjoy the analysis capabilities of CPTI nets, one has to first determine whether a given Petri net model satisfies the CPTI constrains. General Purpose Petri Net Simulator (GPenSIM) is a toolbox running on MATLAB platform that is easy to use and extensible. The aim of this paper is to present the data structures and algorithms for implementation of CPTI in GPenSIM. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
