A formal modeling approach for supply chain event management

Rong Liu, Akhil Kumar, Wil van der Aalst

Research output: Contribution to journalArticlepeer-review

109 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)761-778
Number of pages18
JournalDecision Support Systems
Issue number3
StatePublished - Apr 2007

All Science Journal Classification (ASJC) codes

  • Management Information Systems
  • Information Systems
  • Developmental and Educational Psychology
  • Arts and Humanities (miscellaneous)
  • Information Systems and Management


Dive into the research topics of 'A formal modeling approach for supply chain event management'. Together they form a unique fingerprint.

Cite this