Do you want to subscribe to the
Petri Nets Newsletter
Petri Net Newsletter No. 19
Relationship between Deadlock-Freeness and Liveness in Free-Choice Nets.
Starke, Peter H.
Traces and Semiwords.
On Extended Timed Petri Nets, Timeouts and Modelling of Protocols.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography