For the most recent entries see the
Petri Nets Newsletter.
Keyword: unfolding
-
Khomenko, Victor;
Koutny, Maciej:
Branching Processes of High-Level Petri Nets.
2003.
-
Khomenko, Victor;
Koutny, Maciej;
Vogler, Walter:
Canonical Prefixes of Petri Net Unfoldings.
2002.
-
Winkowski, Józef:
Reachability in contextual nets.
2002.
-
Heljanko, Keijo;
Khomenko, Victor;
Koutny, Maciej:
Parallelisation of the Petri Net Unfolding Algorithm.
2002.
-
Khomenko, Victor;
Koutny, Maciej:
Towards an Efficient Algorithm for Unfolding Petri Nets.
2001.
-
Mäkelä, Marko:
Optimising Enabling Tests and Unfoldings of Algebraic System Nets.
2001.
-
Kondratyev, Alex;
Kishinevsky, Michael;
Taubin, Alexander;
Ten, Sergei:
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings.
1998.
-
Miyamoto, T.;
Kumagai, S.:
Reversibility Verification of Petri Nets Using Unfoldings.
1997.
-
Nielsen, M.;
Rozenberg, Grzegorg;
Thiagarajan, P.S.:
Behavioural Notions for Elementary Net Systems.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography