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):
Displayed 4 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)
- (Q5019696) (← links)
- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues (Q5044399) (← links)