Dietmar Wikarski

Dietmar Fhg Wikarski@isst1
1Dietmar Fhg Wikarski@isst
Learn 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)
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)
  • 1