Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

Bibliographische Detailangaben

Veröffentlicht in:	IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (12. : 2021 : Costa da Caparica) Technological innovation for applied AI systems
1. Verfasser:	Wojnakowski, Marcin (VerfasserIn)
Weitere Verfasser:	Wisniewski, Remigiusz (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!