For the most recent entries see the Petri Nets Newsletter.

Model Checking Object Petri Nets in Prolog.

Farwer, B.; Leuschel, M.

In: technical report, No. DSSE-TR-2003-4. School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK: Declarative Systems and Software Engineering Group, November 2003.

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

Back to the Petri Nets Bibliography