For the most recent entries see the Petri Nets Newsletter.

The ProC/B Toolset for the Modelling and Analysis of Process Chains.

Bause, F.; Beilner, H.; Fischer, M.; Kemper, P.; Völker, M.

In: T. Field, P.G. Harrison, J. Bradley, U. Harder (Eds.): Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002, pages 1-51pp. Springer Verlag, LNCS 2324, April 2002.

Abstract: 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 hierarchy employs the notion of function units which may include subordinate function units, where function units provide services to their environments that are internally accomplished by calling services of subordinate function units. This point of view is very much along the structures found in real world organisations. We describe and analyse a model of a supply chain to demonstrate the capabilities of the toolset.

Keywords: Process Chains; E-Business; E-Commerce; Simulation; Queueing Networks; Generalised Stochastic Petri Nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography