For the most recent entries see the
Petri Nets Newsletter.
Design and Validation by Petri Nets of a Reliable Bus Allocation Protocol.
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.
In:
Proc. INFOCOM 1982, Las Vegas, pages 221-228.
IEEE,
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography