Product Time Petri Nets model supply chain subsystems modularly with synchronized labels, representing the manager as a mobile shared resource to detect feasible executions, timeouts, and timelocks from timing constraints.
In: Formal Modeling and Anal- ysis of Timed Systems (FORMATS), LNCS 11750
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Modelling and Analysis of Supply Chains using Product Time Petri Nets
Product Time Petri Nets model supply chain subsystems modularly with synchronized labels, representing the manager as a mobile shared resource to detect feasible executions, timeouts, and timelocks from timing constraints.