9 search results - page 1 / 2 » acsd 2004 |
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
ACSD
2004
IEEE
13 years 8 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...
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...