Learn More
Modular process nets are a graphical and formal notation for the representation of technical and business process models containing concurrent activities. Originally this class of Petri nets was developed for the modeling, analysis, simulation and control of workflows and computer-based process control systems, but it is also suitable for use in all other(More)
An innovative net-based methodology to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an ongoing prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based(More)
In this paper a Petri net based methodology is outlined for an integrated qualitative and quantitative analysis of parallel software systems which is based on different (Petri) net representations of the software system under consideration. The software validation methodology starts from the source text of a set of communicating processes which specify the(More)
Starting from a classification of software validation techniques an innovative Petri net based methodology is proposed to integrate qualitative and quantitative analysis methods of parallel software systems. The approach combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate(More)