Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications / Hu, Y.; Ma, Z.; Liu, R.; Fanti, M. P.; Li, Z.. - (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.