The following pages link to (Q4824481):
Displaying 4 items.
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- STG decomposition strategies in combination with unfolding (Q1031867) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)
