Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques

Autor:	Francesco Basile, Gianmaria De Tommasi, Carlo Motta
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Opacity Integer linear programming Control and Systems Engineering Labeled Petri nets DES Electrical and Electronic Engineering
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::142f0f76f06c9fa21d6da27b3a811e21 https://hdl.handle.net/11386/4823071 Zobrazit plný text záznamu