文章基本信息

标题：Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs ⁎
本地全文：下载
作者：Kuize Zhang ; Alessandro Giua
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：167-171
DOI：10.1016/j.ifacol.2018.06.296
语种：English
出版社：Elsevier
摘要：AbstractWeak (approximate) detectability of a labeled Petri net (LPN) system (with inhibitor arcs) is a property such that if the property is satisfied then there exists an infinite label sequence generated by the system such that all markings after a time step can determined (in a prescribed subset of reachable markings) by the label sequence. Specifically, we prove that the problems of deciding weak detectability of LPN systems with inhibitor arcs and weak approximate detectability of LPN systems are both undecidable.
关键词：KeywordsPetri net with inhibitor arcsweak detectabilityweak approximate detectabilitydecidability