Pages that link to "Item:Q1346682"
From MaRDI portal
The following pages link to Model checking using net unfoldings (Q1346682):
Displaying 6 items.
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)
- Improved implementations via a new structural equivalence on labeled nets (Q6487372) (← links)
- Time processes for time Petri nets (Q6487373) (← links)
