Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks
IEEE Transactions on Software Engineering
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Free choice Petri nets
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Aris-Business Process Modeling
Aris-Business Process Modeling
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Liveness and Home States in Equal Conflict Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
The ProC/B Toolset for the Modelling and Analysis of Process Chains
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Tool Supported Specification and Simulation of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Colored petri nets to verify extended event-driven process chains
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Hi-index | 0.00 |
Simulation is a frequently applied method when analysing logistics networks. Also within the Collaborative Research Center 559 "Modelling of Large Logistics Networks" simulation is broadly applied and process chains are used as a mutual basis for model development and description. Previous research activities exposed non-ergodicity of models as one of the typical application-specific problems which are difficult to discover by simulation. In order to detect non-ergodic models the problem has been reduced to its core employing the more analysis oriented modelling formalism of Petri nets. With the help of the Petri net formalism we developed an efficient method for the detection of non-ergodic models. Since Petri nets is not the common modelling paradigm for logisticians, this method had to be made available in the process chain modelling world of the logistics area, additionally supported by an appropriate tool. This paper describes our corresponding approach and also demonstrates the process of identifying a problem class in an application area, reducing it to its core, establishing a solution in an analysis-oriented formalism and making corresponding techniques available in the application-oriented modelling world and thus also available for the end-user.