首页> 外文会议>International Conference on Circuits and Systems >The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets

【24h】

The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets

机译：普通培养网亚类的最活力的必要条件以及一些定时培养网

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The necessary and sufficient conditions for liveness of typical and useful subclasses are easily and systematically reduced from the necessary and sufficient condition for liveness of general regular Petri nets as well as special timed Petri nets.

机译：典型和有用的亚类的最活力的必要和充分条件是从必要的和充分的条件下减少了一般普通培养网以及特殊的培养网的必要和充分条件。

著录项

来源
《International Conference on Circuits and Systems》|1991年||共4页
会议地点
作者
Tsuji K.; Matsumoto T.; Institute of Electric and Electronic Engineer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Necessary and Sufficient Condition for Liveness of Asymmetric Choice Petri Nets [J] . Tadashi MATSUMOTO, Yasuhiko TSURUTA IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 1997,第3期

机译：非对称选择Petri网的活跃性的充要条件
2. Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets [J] . R. Casas-Carrillo, O. Begovich, J. Ruiz-León, IFAC PapersOnLine . 2018,第13期

机译：一类定时连续Petri网的结构故障诊断的充分条件和传感器位置
3. Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets [J] . R. Casas-Carrillo, O. Begovich, J. Ruiz-León, IFAC PapersOnLine . 2018,第13期

机译：一类定时连续Petri网的结构故障诊断的充分条件和传感器位置
4. The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets [C] . Tsuji, K., Matsumoto, . 1991

机译：常规Petri网和一些定时Petri网子类的活跃性的必要充要条件。
5. On computing a liveness enforcing supervisory policy for a class of general Petri nets [D] . Somnath, Nisha. 2015

机译：在计算一类通用Petri网的生命力实施监督策略时
6. Simulation and Improvement of Patients’ Workflow in Heart Clinics during COVID-19 Pandemic Using Timed Coloured Petri Nets [O] . Masoomeh Zeinalnezhad, Abdoulmohammad Gholamzadeh Chofreh, Feybi Ariani Goni, 2020

机译：使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
7. On Liveness and Deadlockability in Subclasses of Weighted Petri Nets [O] . Thomas Hujsa, Raymond Devillers 2017

机译：关于加权培养网亚类的活力与死锁性

The useful necessary and sufficient conditions for liveness of subclasses of regular Petri nets as well as some timed Petri nets

摘要

著录项

相似文献

相关主题

期刊订阅