Learn More
The design of real-time systems requires modeling and analysis techniques, to ensure their correct and timely operation. In many cases a realistic model should be able to cover both fixed and stochastic times. Stochastic Petri nets are a promising description technique in this field, but mixing deterministic and randomly distributed times in one model makes(More)
One of the main features of Event driven Process Chains (EPCs) is the non-local semantics of the OR-join and the XOR-join connectors. Simulating this non-local semantics faithfully and efficiently is still a challenging problem. A year ago, we have shown that the semantics of moderately sized EPCs can be calculated in reasonable time by using techniques(More)
Stationary analysis of Generalized Stochastic Petri Nets (GSPNs) often suffers from the state space explosion problem. Large reachability sets – isomorphic to continuous-time Markov chains – are not only expensive to generate, but related high-dimensional data structures also put excessive demands on numerical algorithms. In particular sequences of(More)
Petri nets are useful for modelling complex concurrent systems. While modelling using Petri nets focusses on local states and actions , the analysis methods are concerned with global states and their transitions. Unfortunately generation of the complete state space suffers from the well-known state space explosion problem. This paper presents a method to(More)
Not only since the upcoming of Service-oriented Architectures the modelling of cross-organizational business processes is a heavily investigated field comprising dozens of standards based on different concepts. New techniques on the implementation site, e.g. Web Service orchestration and choreography, further extended the possibilities and requirements on(More)
In this paper an aggregation technique for generalised stochastic Petri nets (GSPNs) possessing synchronised parallel structures is presented. Parallel processes featuring synchronisation constraints commonly occur in fields such as product assembly and computer process communications, however their existence in closed networks severely complicates(More)
Not only since the upcoming of Service-oriented Architectures the modelling of cross-organizational business processes is a heavily investigated field comprising dozens of standards based on different concepts. New techniques on the implementation site, e.g. Web Service orchestration and choreography, further extended the possibilities and requirements on(More)