350 search results - page 36 / 70 » Petri Net Analysis Using Invariant Generation |
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
APN
2009
Springer
14 years 4 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...