Pages that link to "Item:Q2032917"
From MaRDI portal
The following pages link to Relabelling LTS for Petri net synthesis via solving separation problems (Q2032917):
Displaying 5 items.
- Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable (Q2117174) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- On the parameterized complexity of synthesizing Boolean Petri nets with restricted dependency (Q5019696) (← 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)