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