Learn More
Book desc r ip t i on ( f rom the cover): This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields. The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems(More)
System analysis is often needed with respect to both qualitative and quantitative aspects. In the last decades, several formalisms have been developed that attempt to combine these aspects in one description. Present emphasis is on Stochastic Petri Nets. Amongst others, one disadvantage of these formalisms lies with the diiculties when describing scheduling(More)
Any developer of discrete event systems knows that the most important quality of the final system is that it be functionally correct by exhibiting certain functional, or qualitative properties decided upon as being important. Once assured that the system behaves correctly, it is also important that it is efficient in that its running cost is minimal or that(More)
Priority specifications offer a convenient description technique to resolve conflicts in favour of particular actions. Apart from being employed for the specification of the functional behaviour of a system, priorities have also become important in the field of performance analysis using stochastic Petri nets. Here they are implicitly given due to the(More)
This paper presents a toolbox for the construction of modular tools for functional and quantitative (performance) analysis of discrete event dynamic systems (DEDS). The intention is to simplify the usage of appropriate analysis algorithms, thus supporting the development of appropriate tools. We describe concepts and contents of the toolbox together with an(More)
Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient(More)
Service-Oriented Architectures (SOA) are one of the main paradigms for future software systems. Since these software systems are composed of a large number of different components it is non trivial to assure an adequate Quality of Service (QoS) of the overall system and performance analysis becomes an important issue. To consider performance issues early in(More)
This paper presents a toolset for modelling and analysing logistic networks. The toolset includes a graphical user interface accommodating a “Process Chains” view. It supports model analysis by a variety of methods including simulative, algebraic and numerical techniques. An object-based, hierarchical structure helps to keep track of large models. The(More)
In this paper we propose an eecient reachability set based Petri net analysis by introducing dynamic priorities which decreases the number of reachable markings in most cases. It is proved that for speciic dynamic priority relations certain properties (especially liveness and the existence of home states) do hold if and only if these properties do also hold(More)