Structural Sequence Detectability in Free Choice Interpreted Petri Nets

DOI10.1109/TAC.2015.2426275zbMath1359.68225MaRDI QIDQ2980718

Antonio Ramírez-Treviño, Saúl-Alonso Nuño-Sánchez, Javier Ruiz-León

Publication date: 3 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics ⋮ Observer synthesis for linear hybrid systems with constrained discrete dynamics

This page was built for publication: Structural Sequence Detectability in Free Choice Interpreted Petri Nets