1014 search results - page 27 / 203 » ''What Is a Petri Net |
96
Voted
JUCS
2007
15 years 18 days ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
120
Voted
ACTA
2000
15 years 17 days ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
98
Voted
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
85
Voted
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...