For the most recent entries see the
Petri Nets Newsletter.
Keyword: occurrence nets
-
Kleijn, H. C. M.;
Koutny, M.:
Infinite Process Semantics of Inhibitor Nets.
2006.
-
Kleijn, H.C.M.;
Koutny, M.:
Process semantics of general inhibitor nets.
2004.
-
Kleijn, H. C. M.;
Koutny, M.:
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
2002.
-
Esparza, J.;
Heljanko, K.:
A new unfolding approach to LTL model checking.
2000.
-
Janicki, R.;
Koutny, M.:
On causality semantics of nets with priorities.
1999.
-
Miyamoto, T.;
Kumagai, S.:
A graph theoretic approach to reachability problem with Petri net unfoldings.
1996.
-
Miyamoto, T.;
Lee, D.-I.;
Kumagai, S.:
An efficient state space search for the synthesis of asynchronous circuits by subspace construction.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography