The following pages link to Robin Bergenthum (Q1006645):
Displaying 10 items.
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Firing partial orders in a Petri net (Q2117188) (← links)
- Verification of Scenarios in Petri Nets Using Compact Tokenflows (Q2805422) (← 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)
- (Q3602749) (← 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)
- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows (Q5300880) (← links)
