For the most recent entries see the
Petri Nets Newsletter.
Application of Temporal Petri Nets to Verification of Handshake Daisy Chain Arbiters.
Lu, H.;
Suzuki, I.
In:
Ismail, M.: Proc. of the 29th Midwest Symposium on Circuits and Systems, Lincoln, Nebraska, pages 823-826.
Elsevier Science Publishing Co., North-Holland,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography