A formal modeling approach for supply chain event management

: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to react to events in a real-time manner. In this paper, we propose time Petri nets as a formalism for doing so. Hence, we describe seven basic patterns that are used to capture modeling concepts that arise commonly in supply chains. Next, we show how to combine these patterns to build a complete Petri net and analyze it using reachability analysis, dependency graphs and simulation.

• Type: Journal
• Year: 2007
• Where: DSS
• Authors: Rong Liu, Akhil Kumar, Wil M. P. van der Aalst
• Keywords: DSS 2007, Real-time Manner, Supply Chains, Time Petri