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