For the most recent entries see the Petri Nets Newsletter.

Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study.

Furfaro, A.; Nigro, L.

In: Proc. of IASTED International Conference on Software Engineering (SE 2005), pages 388-393. February 2005.

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

Back to the Petri Nets Bibliography