For the most recent entries see the Petri Nets Newsletter.

Model Checking Coloured Petri Nets Exploiting Strongly Connected Components.

Cheng, A.; Christensen, S.; Mortensen, K.H.

In: M.P. Spathopoulos, R. Smedinga, P. Kozak (eds.), International Workshop on Discrete Event Systems, Edinburg, Scotland, UK, pages 169-177. August 1996.

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

Back to the Petri Nets Bibliography