MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Elementary Transition Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Non-Pure Nets and Their Transition Systems
by Marta Pietkiewicz-koutny, Alex Yakovlev — 1995 — Proc. International Conference on Computer Aided Design
… are called semi-elementary nets and semi-elementary transition systems, respectively. The main motivation…
Cited by 3 (0 self) – Add To MetaCart

Synthesizing Petri Nets from State-Based Models
by Re Yakovlev, Jordi Cortadella, Jordi Cortadella, Michael Kishinevsky, Michael Kishinevsky, Luciano Lavagno, Luciano Lavagno, Alexandre Yakovlev — 1995 — In Proc. of the IEEE/ACM International Conference on Computer Aided Design
…. The proposed method in based on deriving an Elementary Transition System (ETS) from a specification model…
Cited by 2 (0 self) – Add To MetaCart

Synthesizing Petri Nets from State-Based Models
by Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alex Yakovlev — 1995
… an Elementary Transition System (ETS) from a specification model. Previous work has shown that for any ETS…
Cited by 31 (16 self) – Add To MetaCart

Deriving Petri Nets from Finite Transition Systems
by Jordi Cortadella, Michael Kishinevsky, Senior Member, Luciano Lavagno, Re Yakovlev — 1998 — IEEE Transactions on Computers
… on the theory of regions for Elementary Transition Systems (ETS). Previous work has shown that, for any ETS…
Cited by 26 (5 self) – Add To MetaCart

Modular System Development With Pullbacks
by Marek Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
…], considered a class of deterministic transition systems called elementary transition systems, and showed…
Add To MetaCart

Synthesis of ENI-systems Using Minimal Regions
by Marta Pietkiewicz-koutny — 1998
… to the transition system. This problem was solved for the class of Elementary Net Systems in [13] using the notion…
Add To MetaCart

Dualities between Nets and Automata Induced by Schizophrenic Objects
by Eric Badouel And, Eric Badouel, Eric Badouel, Projet Micas — 1995 — 6 th International Conference on Category Theory and Computer Science
… hold after the execution of a. The transition system associated with an elementary net, the so…
Add To MetaCart

I R I S a
by Campus Universitaire De, Philippe Darondeau, Eric Badouel, Eric Badouel — 1995
… hold after the execution of a. The transition system associated with an elementary net, the so…
Add To MetaCart

The Synthesis Problem for Elementary Net Systems is NP-Complete
by Eric Badouel, Eric Badouel, Luca Bernardinello, Luca Bernardinello, Projet Micas — 1995 — Theoretical Computer Science
… M = e ffl . An elementary transition system is an automaton A = (S; E; T; s 0 ), where…
Cited by 14 (4 self) – Add To MetaCart

Concurrent Realizations of Reactive Systems
by Marek A. Bednarczyk, Andrzej M. Borzyszkowski — 1999 — In Proc. CTCS '99
… elements of Q only. 2.3 Comparison with elementary transition systems The theory of concrete asynchronous…
Cited by 6 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB