For the most recent entries see the
Petri Nets Newsletter
State equations and equivalent transformations of Timed Petri nets.
Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS).
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography