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