For the most recent entries see the Petri Nets Newsletter.

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.

Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa

In: International Journal on Software Tools for Technology Transfer (STTT). 2007. URL: http://dx.doi.org/10.1007/s10009-007-0038-x.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography