For the most recent entries see the Petri Nets Newsletter.

Behavior Analysis of Concurrent Software Systems at the Design Phase Based on Petri Nets.

Sun, L.F.; Ochimizu, K.

In: Transactions of Information Processing Society of Japan, Vol. 29, No. 8, pages 782-789. 1988. In Japanese.

Abstract: The authors outline the analysis system. They discuss the abstract software representation in ETDs, giving a resource management problem as an example. They show how ETDs can be converted to Petri net representation. The resource management problem is shown as a Petri net.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography