For the most recent entries see the
Petri Nets Newsletter.
Tools for Verifying Specifications.
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tuominen, H.
Research Report Series B, No. 31.
Otaniemi: Helsinki Univ. of Techn., Dig. Syst. Lab.,
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography