The following pages link to (Q5013817):
Displaying 6 items.
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- On Compositionality of Boundedness and Liveness for Nested Petri Nets (Q4902320) (← links)
- (Q4951656) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)