For the most recent entries see the
Petri Nets Newsletter.
Heljanko, K.
-
Heljanko, Keijo;
Khomenko, Victor;
Koutny, Maciej:
Parallelisation of the Petri Net Unfolding Algorithm.
2002.
-
Heljanko, Keijo:
Bounded Reachability Checking with Process Semantics.
2001.
-
Heljanko, Keijo;
Niemelä, Ilkka:
Bounded LTL Model Checking with Stable Models.
2001.
-
Esparza, J.;
Heljanko, K.:
A new unfolding approach to LTL model checking.
2000.
-
Heljanko, Keijo:
Minimizing Finite Complete Prefixes.
1999.
-
Heljanko, Keijo:
Deadlock Checking for Complete Finite Prefixes Using Logic Programs with Stable Model Semantics.
1998.
-
Varpaaniemi, Kimmo;
Heljanko, Keijo;
Lilius, Johan:
PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography