Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
Time Petri Nets for Modelling and Analysis of Biochemical Networks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Extreme Runtimes of Schedules Modelled by Time Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Time-independent Liveness in Time Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs
Discrete Event Dynamic Systems
SAT-based (parametric) reachability for a class of distributed time Petri nets
Transactions on Petri nets and other models of concurrency IV
Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
Natural Computing: an international journal
| Hi-index | 0.00 |