For the most recent entries see the Petri Nets Newsletter.

INTEGRAL --- an Integrated Framework for Distributed Software Validation and Verification.

Chang, C.K.; Song, C.C.; Chang, Y.F.

In: Proc. of the Workshop on the Future Trends of Distributed Computing Systems in the 1990s, pages 301-310. IEEE Comput. Soc. Press, Washington, DC, USA, 1988.

Abstract: A prototype validation and verification (V&V) system, called INTEGRAL, is presented. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.

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

Back to the Petri Nets Bibliography