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

Title: The Proc/B Toolset for the Modelling and Analysis of Process Chains


Authors: Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Marcus Völker



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.



Process Chains, E-Business, E-Commerce, Simulation, Queueing Networks, Generalised Stochastic Petri Nets


Published in:

         T. Field, P.G. Harrison, J. Bradley, U. Harder (eds):

         Computer Performance Evaluation, Modelling Techniques and Tools,

         Lecture Notes in Computer Science, No 2324, 12th International Conference on Modelling Tools and Techniques  for Computer and Communication System Performance Evaluation, London (UK), pp. 51-70, 2002.