115 search results - page 19 / 23 » Synthesis of Asynchronous Hardware from Petri Nets |
163
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
176
click to vote
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
151
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
154
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
138
click to vote
CPE
1997
Springer
15 years 10 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...