For the most recent entries see the Petri Nets Newsletter.

Integral: Petri-net approach to distributed software development.

Chang, C.K.; Chang, Y.-F.; Song, C.-C.; Aoyama, M.

In: Information and Software Technology, Vol. 31, No. 10. 1989.

Abstract: An integrated V & V system, called Integral, is presented that provides comprehensive and homogeneous analysis capabilities to both specification and testing phases of the life-cycle of distributed software systems. The underlying software model that suppports various V & V activities in Integral is primarily based on Petri nets and is intended to be wide spectrum. The ultimate goal of this research is to demonstrate to the software industry, domestic or foreign, the availability and applicability of a new Petri-net-based software development paradigm. Integral is a prototype V & V system to support such a paradigm.

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

Back to the Petri Nets Bibliography