The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.
Numerical method to simulate and to analyze Time Petri nets
01.05.2011
1169683 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Online Contents | 1997
|Generating Real-time Software Test Cases by Time Petri Nets
British Library Online Contents | 2000
|Airport Traffic Simulation Using Petri Nets
Springer Verlag | 2013
|Operating rules description using Petri nets
Tema Archiv | 2007
|