Pages that link to "Item:Q1924994"
From MaRDI portal
The following pages link to Reduction rules for time Petri nets (Q1924994):
Displaying 9 items.
- Dynamically consistent reduction of logical regulatory graphs (Q533364) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- The application of EB-equivalence rules to the structural reduction of GSPN models (Q1200154) (← links)
- Timed negotiations (Q2200811) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- (Q3437252) (← links)
- (Q4818749) (← links)
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets (Q5500554) (← links)