For the most recent entries see the Petri Nets Newsletter.

Keyword: TPN

Sleptsov, A.I.; Zaitsev, D.A.:
State equations and equivalent transformations of Timed Petri nets. 1997.
Yao, Yu-Lin:
Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS). 1989.

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

Back to the Petri Nets Bibliography