Recursive solution of number of reachable states of a simple subclass of FMS
Author:
Publisher
Informa UK Limited
Subject
Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering
Link
http://www.tandfonline.com/doi/pdf/10.1080/00207721.2012.745240
Reference22 articles.
1. Reachability of Nonsynchronized Choice Petri Nets and Its Applications
2. Computation of Elementary Siphons in Petri Nets For Deadlock Control
3. Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources
4. Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements)
5. Enumeration of lost states of a suboptimal control model of a well-known S3PR
Cited by 9 articles. 订阅此论文施引文献 订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Reverse Mirroring:A new efficient knowledge-based methodology of reachability analysis for Petri nets;International Journal of Control;2021-05-14
2. Proof by model: a new knowledge-based reachability analysis methodology for Petri net;IMA Journal of Mathematical Control and Information;2016-07-11
3. The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets;International Journal of Control;2015-06-17
4. Closed-form solution of controller synthesis for infinitely large systems of resource sharing systems of a subclass of Petri nets;Transactions of the Institute of Measurement and Control;2015-02-24
5. Revision on ‘Maximally permissive deadlock prevention via an Invariant Controlled Method’;International Journal of Production Research;2014-08-27
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3