Use of GSPNs for concurrent software validation in EPOCA
References (20)
Methods and tools for distributed software analysis
- et al.
Software engineering for parallel systems
- et al.
Safety analysis using Petri nets
IEEE Trans. Softw. Eng.
(March 1987) - et al.
Process translatable Petri nets for the rapid prototyping of process control systems
IEEE Trans. Softw. Eng.
(February 1986) - et al.
Using PARSE for transputer software development
- et al.
Rapid prototyping through communicating Petri nets
- et al.
A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
ACM Trans. Comput. Syst.
(May 1984) - et al.
Parallel software development in the DISC programming environment
Fut. Gener. Comput. Syst.
(April 1990) - et al.
Definition of the DISC concurrent language
SIGPLAN Not.
(June 1989) GreatSPN 1.5 software architecture
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1994 Published by Elsevier B.V.