For the most recent entries see the
Petri Nets Newsletter.
An Algorithm to Construct Distributed Systems from State-Machines.
Prinoth, R.
In:
Sunshine, C.: 2nd Int. Workshop on Protocol Specification, Testing and Verification, May 17--20, 1982, Idyllwild - Los Angeles, pages 261-282.
North-Holland Publ. Company,
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography