A formal modeling approach for supply chain event management

Authors:
Rong Liu;Akhil Kumar;Wil van der Aalst
Affiliations:
IBM Research, 19 Skyline Drive, Hawthorne, NY 10532, USA;Smeal College of Business, Penn State University, University Park, PA 16802, USA;Department of Mathematics and Computer Science, Eindhoven Technical University, Eindhoven, The Netherlands
Venue:
Decision Support Systems
Year:
2007

Citing 14
Cited 16

The architecture of an active database management system

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
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
PREPARE: A Tool for Knowledge Base Verification

IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs

IEEE Transactions on Knowledge and Data Engineering
Workflow Patterns

Distributed and Parallel Databases
An Introduction to the Practical Use of Coloured Petri Nets

Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Case-Based Reasoning Approach to the Resolution of Faults in Communication Networks

Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Consulting past exceptions to facilitate workflow exception handling

Decision Support Systems
Merging workflows: a new perspective on connecting business processes

Decision Support Systems
Proactive Supply-Chain Event Management with Agent Technology

International Journal of Electronic Commerce
CPN tools for editing, simulating, and analysing coloured Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Workflow resource patterns: identification, representation and tool support

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering

Modelling workflows and collaboration in virtual supply chains with nested modular Petri nets

International Journal of Computer Applications in Technology
A business process gap detecting mechanism between information system process flow and internal control flow

Decision Support Systems
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies

Decision Support Systems
Risk assessment and management for supply chain networks: A case study

Computers in Industry
Inter-Organizational Decision Support Systems for Supply Chain Planning: Current State

Proceedings of the 2010 conference on Bridging the Socio-technical Gap in Decision Support Systems: Challenges for the Next Decade
Leveraging information sharing to configure supply chains

Information Systems Frontiers
Constraint-centric workflow change analytics

Decision Support Systems
CONFLuEnCE: CONtinuous workFLow ExeCution Engine

Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Developing a supply chain disruption analysis model: Application of colored Petri-nets

Expert Systems with Applications: An International Journal
Workflow simulation for operational decision support using event graph through process mining

Decision Support Systems
A model driven development approach based on a reference model for predicting disruptive events in a supply process

Computers in Industry
Go beyond the SCOPE: a temporal situation calculus-based software tool for time petri nets

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
A key event path analysis approach for integrated systems

Modelling and Simulation in Engineering
Cross-organizational collaborative workflow mining from a multi-source log

Decision Support Systems
GBOM-oriented management of production disruption risk and optimization of supply chain construction

Expert Systems with Applications: An International Journal
Invariant conditions in value system simulation models

Decision Support Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

As supply chains become more dynamic, there is a need for a sense-and-respond capability to react to events in a real-time manner. In this paper, we propose Petri nets extended with time and color (to represent case data) as a formalism for managing events. We designed seven basic patterns to capture modeling concepts that arise commonly in supply chains. These basic patterns may be used by themselves and also combined to create new patterns. We also show how to combine the patterns to build a complete Petri net and analyze it using dependency graphs and simulation. Dependency graphs can be used to analyze the various events and their causes. Simulation was, in addition, used to analyze various performance indicators (e.g., fill rates, replenishment times, and lead times) under different strategies. We showed it is possible to perform sensitivity analysis to study the effect of changing parameter values on the performance indicators. This approach thus makes a very complex problem tractable.