For the most recent entries see the
Petri Nets Newsletter.
The Use of Petri Nets in Correctness Proving.
Wong, Eddie Y. W.;
Hwa, H. R.
Technical Report No. 217.
Sydney, N.S.W. Australia: The University of Sydney, Basser Department of Computer Science,
December 1983.
Keywords:
correctness proving; token ring; ethernet.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography