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

2024
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]
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/274560
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 2
social impact