Efficient algorithm for liveness/safeness analysis of free-choice nets in a Petri net tool: HiPS

机译：Petri网工具中的自由选择网生命力/安全性分析的高效算法：HiPS

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Petri nets are a graphical and mathematical modeling tool used for discrete event systems. Our research group has developed HiPS, which is a tool for the design and analysis of Petri nets. HiPS has some analysis capabilities, such as T-invariant analysis, but is missing the ability to analyze some important properties. In this research, we propose and implement parallel algorithms that analyze the liveness and safeness properties of free-choice nets, which are two of the most important properties of Petri nets.

机译：Petri网是用于离散事件系统的图形和数学建模工具。我们的研究小组开发了HiPS，这是用于设计和分析Petri网的工具。 HiPS具有某些分析功能，例如T不变分析，但缺少分析某些重要属性的能力。在这项研究中，我们提出并实现了并行算法，用于分析自由选择网的活跃性和安全性，自由选择网是Petri网最重要的两个属性。

著录项

来源
《2012 6th International Conference on New Trends in Information Science, Service Science and Data Mining》|2012年|179-184|共6页
会议地点 Taipei(CT)
作者
Ide Kazuto; Wasaki Katsumi;
展开▼
作者单位

Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, Japanc;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
HiPS; Petri nets; analysis tool; free-choice net; liveness/safeness;

机译：HiPS； Petri网；分析工具；自由选择网；活力/安全性；;

相似文献

外文文献
中文文献
专利

1. An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets [J] . Ramavarapu S. Sreenivas Automatica . 1998,第12期

机译：将独立的，增长的，自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
2. Reachability in live and safe free-choice Petri nets is NP-complete [J] . Esparza J. Theoretical computer science . 1998,第1a2期

机译：实时和安全的自由选择Petri网的可达性是NP完整的
3. ON COMMONERS LIVENESS THEOREM AND SUPERVISORY POLICIES THAT ENFORCE LIVENESS IN FREE-CHOICE PETRI NETS [J] . Sreenivas RS. Systems and Control Letters . 1997,第1期

机译：关于自由选择Petri网中加强生存的共通者生存定理和监督政策
4. Efficient algorithm for liveness/safeness analysis of free-choice nets in a Petri net tool: HiPS [C] . Ide Kazuto, Wasaki Katsumi International Conference on New Trends in Information Science, Service Science and Data Mining . 2012

机译：Petri网工具自由选择网的活性/安全性分析有效算法：臀部
5. An examination of the foodsafety (FSnet), agriculture (Agnet) and animal networks (Animalnet) as tools in food safety risk analysis. [D] . Whitfield, Amanda Elizabeth. 2003

机译：对作为食品安全风险分析工具的食品安全（FSnet），农业（Agnet）和动物网络（Animalnet）进行了检查。
6. A Reliable Energy-Efficient Multi-Level Routing Algorithm for Wireless Sensor Networks Using Fuzzy Petri Nets [O] . Zhenhua Yu, Xiao Fu, Yuanli Cai, 2011

机译：基于模糊Petri网的无线传感器网络可靠节能高效多级路由算法
7. An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets [O] . Ramavarapu S. Sreenivas 1998

机译：独立，增加，自由选择petri网在任意petri网中强制生存策略综合中的应用
8. Efficient Algorithm for Unfolding Petri Nets [R] . Khomenko, V. , Koutny, M. 2002

机译：一种有效的展开petri网的算法

Efficient algorithm for liveness/safeness analysis of free-choice nets in a Petri net tool: HiPS

摘要

著录项

相似文献

相关主题

期刊订阅