For the most recent entries see the Petri Nets Newsletter.

Abstract Models for Time Petri Nets for TCTL Verification.

Pólrola, Agata

In: Ludwik Czaja (Ed.): Proceedings of the Concurrency, Specification and Programming (CS&P'2005) Workshop, pages 420-421. Warsaw University - Volume II, September 2005.


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

Back to the Petri Nets Bibliography