For the most recent entries see the Petri Nets Newsletter.

Synthesis Approach for Designing Concurrent Systems.

Yaw, Y.; Ramamoorthy, C.V.; Wei, B.W.Y.; Tsai, W.T.

In: Proceedings of the IEEE 1988 International Symposium on Information Theory, Kobe, Japan; abstracts of papers, Vol. 25, No. 13, pages 1-240. Piscataway, NJ, USA: IEEE Service Center, 1988.

Abstract: The complexity of verifying a concurrent system grows exponentially as the number of functions and states in the system increases. To avoid this state explosion problem the authors propose a synthesis approach using Petri nets.


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

Back to the Petri Nets Bibliography