MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Synthesis Problem of Petri Nets." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Synthesis of Nets With Inhibitor Arcs
by Nadia Busi, G. Michele Pinna — 1997 — Proc. of CONCUR’97, A. Mazurkiewicz and J. Winkowski (Eds.), Springer-Verlag, LNCS
…@(email omitted); Abstract. The synthesis problem for Petri nets consists in the construction of a net system whose behaviour…
Cited by 4 (1 self) – Add To MetaCart

On the synthesis of general Petri nets
by Eric Badouel, Philippe Darondeau, Eric Badouel, Projet Micas — 1996
… net system. The synthesis problem for pure Petri nets, examined further in [BDPV96] in the frame…
Cited by 2 (0 self) – Add To MetaCart

I R I S a
by Campus Universitaire De, Philippe Darondeau, Eric Badouel, Eric Badouel — 1996
… marking graph of some net system. The synthesis problem for pure Petri nets, examined further in [BDPV96…
Add To MetaCart

General Morphisms of Petri Nets (Extended Abstract)
by Marek A. Bednarczyk, Andrzej M. Borzyszkowski — 1999 — Proc. Automata, Languages and Programming, 26th Intn'l Coll., Prague
… T11C 037 16. the so called synthesis problem is solved. The problem is to construct a Petri net…
Cited by 3 (2 self) – Add To MetaCart

PFSLib - A File System for Parallel Programming Environments
by Stefan Lamberts, Reihe B, Christian Röder, B Franz Abstreiter Michael Friedrich, B Erwin Loibl, Hans Obermaier, B Malte Grosse, Christian B. Suttner, A Parallel, Arndt Bode, Thomas Ludwig, Vaidy Sunderam, Wism Uller — 1996
…/20/92 A J org Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets 342/21/92 A Robert Balder…
Cited by 4 (4 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB