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
2011-05-01
1169683 byte
Conference paper
Electronic Resource
English
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 Archive | 2007
|