Pages that link to "Item:Q262433"
From MaRDI portal
The following pages link to Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433):
Displaying 6 items.
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model (Q1792413) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets'' (Q2177774) (← links)
- Active Diagnosis for Switched Systems Using Mealy Machine Modeling (Q5117250) (← links)
