For the most recent entries see the
Petri Nets Newsletter.
Sweep-Line State Space Exploration for Coloured Petri Nets.
Gallasch, Guy Edward;
Kristensen, Lars Michael;
Mailund, Thomas
In:
Kurt Jensen (Ed.): Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002, pages 101-120.
Technical Report DAIMI PB-560,
August 2002.
Available online: http://www.daimi.au.dk/CPnets/workshop02/cpn/papers/.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography