MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Behaviour of Elementary Net Systems." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Models and Logics for True Concurrency
by Kamal Lodaya, Madhavan Mukund, R. Ramanujam, P. S. Thiagarajan — 1990
… occur concurrently in this system. Finally, we show that we can describe the behaviour of elementary net…
Cited by 6 (0 self) – Add To MetaCart

Reasoning about Reactive Systems
by Kim Sunesen, Kim Sunesen — 1998
… and Rozenberg have characterised the transition systems that correspond to the behaviour of elementary net…
Cited by 8 (0 self) – Add To MetaCart

Petri Nets And Step Transition Systems
by Madhavan Mukund — 1992 — International Journal of Foundations of Computer Science
… of elementary transition systems which represent the behaviour of elementary net systems. This characterization…
Cited by 41 (1 self) – Add To MetaCart

Masarykova univerzita v Brn e
by Rodov Edeck Fakulta, Vypracoval Mgr, Michal Kunc, V Brne
… of the behaviour of concurrent systems, and he showed that in this way the behaviour of elementary net systems (1…
Add To MetaCart

Showing 1 through 4.

ATOM

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