For the most recent entries see the Petri Nets Newsletter.

A Petri Net Framework for Automated Static Analysis of Ada Tasking Behavior.

Shatz, S.M.; Cheng, W.K.

In: Journal of Systems & Software, Vol. 8, No. 5, pages 343-359. 1988.

Abstract: A description is provided of a framework for automatic static analysis of distributed programs written in Ada. The aim is the discovery of a program's potential tasking behavior. An important aspect of the approach is the translation of source programs into a Petri net equivalent model defined by an abstract grammar system.

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

Back to the Petri Nets Bibliography