For the most recent entries see the Petri Nets Newsletter.

Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong, Li; Lei, Bu; Jun, Hu; Jianhua, Zhao; Tao, Zhang; Guoliang, Zheng

In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, pages 388-403. 2006. URL:

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

Back to the Petri Nets Bibliography