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