Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications / Hu, Y.; Ma, Z.; Liu, R.; Fanti, M. P.; Li, Z.. - In: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. - ISSN 2168-2232. - (2024). [10.1109/TSMC.2024.3422925]
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications
R. Liu;M. P. Fanti
;
2024-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.