97 search results - page 5 / 20 » Petri Nets with Simple Circuits |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
ATVA
2004
Springer
15 years 2 months ago
2004
Springer
APN
2000
Springer
15 years 1 months ago
2000
Springer
JUCS
2007
14 years 9 months 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...
SMC
2007
IEEE
15 years 3 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...