Model Checking of Variable Petri Nets by Using the Kripke Structure

Autor:	Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang
Rok vydání:	2022
Předmět:	Human-Computer Interaction Control and Systems Engineering Electrical and Electronic Engineering Software Computer Science Applications
Zdroj:	IEEE Transactions on Systems, Man, and Cybernetics: Systems. 52:7774-7786
ISSN:	2168-2232 2168-2216
DOI:	10.1109/tsmc.2022.3163741
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::bdc465814807b95a55634495916619ed https://doi.org/10.1109/tsmc.2022.3163741 Zobrazit plný text záznamu