For the most recent entries see the
Petri Nets Newsletter.
Keyword: net unfoldings
-
Khomenko, Victor;
Koutny, Maciej:
Verification of bounded Petri nets using integer programming.
2006.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
2004.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
2003.
-
Taubin, A.;
Kondratyev, A.;
Kishinevsky, M.:
Deadlock prevention using Petri nets and their unfoldings.
1998.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography