The following pages link to The Label Splitting Problem (Q4909347):
Displaying 6 items.
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable (Q2117174) (← links)
- Enhancing discovered processes with duplicate tasks (Q2293054) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues (Q5044399) (← links)
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (Q6070613) (← links)
