The following pages link to Sebastian Mauser (Q1006646):
Displaying 11 items.
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages (Q3400552) (← links)
- Faster Unfolding of General Petri Nets Based on Token Flows (Q3510854) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- (Q3601872) (← links)
- (Q3602749) (← links)
- Complete Process Semantics for Inhibitor Nets (Q3612933) (← links)
- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios (Q3612942) (← links)
- Construction of Process Models from Example Runs (Q3623827) (← links)
- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language (Q3651243) (← links)
- (Q5506394) (← links)
