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: http://dx.doi.org/10.1007/1188811628.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography