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.
PAT: Towards Flexible Verification un- der Fairness
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Survey concluding that non-trivial problems on parametric timed automata are undecidable in general but decidable under restrictions on the number of clocks and the use of parameters.
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.
-
What's decidable about parametric timed automata?
Survey concluding that non-trivial problems on parametric timed automata are undecidable in general but decidable under restrictions on the number of clocks and the use of parameters.