Colored Petri nets (vol. 3)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Distributed and Parallel Databases
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Simulation: The Practice of Model Development and Use
Simulation: The Practice of Model Development and Use
Web service orchestration and verification using MSC and CP nets
Proceedings of the 2007 ACM symposium on Applied computing
| Hi-index | 0.00 |
International customer demands in the capital goods industry force providers of industrial services to be present on a global market. Often this can only be realised efficiently by cooperating with other partners. But the process to configure a cooperation and choose an adequate cooperation alternative still lacks adequate support. Existing approaches to evaluate services or cooperation are not suitable for an assessment of different alternatives prior to their implementation. Simulation approaches for production networks on the other hand, cannot be used for industrial services. This paper deals with an approach to overcome this problem and presents a simulation model based on Petri net theory for the prospective analysis of cooperative provision of industrial services. To achieve this goal, a domain-specific conceptual model of cooperative provision of industrial services has been developed that considers the constitutive characteristics of industrial services and their cooperative provision and maps them onto the formal notation of coloured Petri nets to form an executable simulation model. As a result, machine and equipment producers will be able to assess their cooperation alternatives related to integrated service provision in advance and thus avoid cost-intensive false decisions.