For the most recent entries see the
Petri Nets Newsletter.
Lassen, M.
-
Beaudouin-Lafon, Michel;
Mackay, Wendy E.;
Jensen, Mads;
Andersen, Peter;
Janecek, Paul;
Lassen, Michael;
Lund, Kasper;
Mortensen, Kjeld;
Munck, Stephanie;
Ratzer, Anne;
Ravn, Katrine;
Christensen, Søren;
Jensen, Kurt:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets - ETAPS Tool Demonstration Related to TACAS.
2001.
-
Beaudouin-Lafon, Michel;
Mackay, Wendy E.;
Andersen, Peter;
Janecek, Paul;
Jensen, Mads;
Lassen, Michael;
Lund, Kasper;
Mortensen, Kjeld;
Munck, Stephanie;
Ratzer, Anne;
Ravn, Katrine;
Christensen, Søren;
Jensen, Kurt:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
2001.
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