可达性问题相关论文
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
为了对基于唯一可达向量Petri网（URV-PN）的密码体制进行密码分析工作，有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研......
无界Petri网目前使用有限可达树来进行可达性分析，但尚未彻底解决，主要问题在于树中虚假状态信息的存在。针对此问题，提出了一种新型......
随着大规模复杂的实时嵌入式系统的广泛使用,程序运行的实时性要求受到了越来越多的关注。时间敏感的下推系统是一类上下文切换受......
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进......
