Pages that link to "Item:Q845725"
From MaRDI portal
The following pages link to Boundedness undecidability for synchronized nets (Q845725):
Displaying 3 items.
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
- Checking system boundedness using ordinary differential equations (Q454908) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
