For the most recent entries see the
Petri Nets Newsletter.
Mailund, T.
-
Billington, J.;
Gallasch, G.E.;
Kristensen, L.M.;
Mailund, T.:
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States.
2004.
-
Kristensen, Lars Michael;
Mailund, Thomas:
Efficient Path Finding with the Sweep-Line Method Using External Storage.
2003.
-
Gallasch, Guy Edward;
Kristensen, Lars Michael;
Mailund, Thomas:
Sweep-Line State Space Exploration for Coloured Petri Nets.
2002.
-
Mailund, Thomas:
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.
2002.
-
Christensen, S.;
Jensen, K.;
Mailund, T.:
State Space Methods for Timed Petri Nets.
2001.
-
Christensen, Søren;
Kristensen, Lars Michael;
Mailund, Thomas:
Condensed State Spaces for Timed Petri Nets.
2001.
-
Mailund, Thomas;
Mortensen, Kjeld H.:
Separation of Style and Content with XML in an Interchange Format for High-level Petri Nets.
2000.
-
Lyngsø, Regnar Bang;
Mailund, Thomas:
Textual Interchange Format for High-Level Petri Nets.
1998.
-
Christensen, Søren;
Kristensen, Lars Michael;
Mailund, Thomas:
A Sweep-Line Method for State Space Exploration.
.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography