Learn 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)
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)
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)
This paper introduces a new approach for the construction of performance models of complex systems integrating software and hardware. Software components are speciied using hierarchical coloured GSPNs which extend the well established coloured GSPNs. Hardware components are composed of basic queues taken from queueing networks. Integration of queues into(More)
In steady-state simulation the output data of the transient phase often causes a bias in the estimation of the steady-state results. A common advice is to cut off this transient phase. Finding an appropriate truncation point is a well-known problem and is still not completely solved. In this paper we consider two algorithms for the determination of the(More)
In 3] J. Esparza presented an interesting characterization of structurally live and structurally bounded Free-Choice Nets (LBFC-Nets). Exploiting this characterization in combination with new results and reened algorithms the authors formulate an O(jPjjTjjFj) algorithm deciding whether a Free-Choice Net is a LBFC-Net or not. Furthermore the algorithm(More)