Structural soundness of workflow nets is decidable

Ferucio Laurentiu Tiplea; Dan Cristian Marinescu

首页> 外文期刊>Information Processing Letters >Structural soundness of workflow nets is decidable

【24h】

Structural soundness of workflow nets is decidable

机译：工作流网的结构合理性是可以确定的

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The problem of deciding whether a given workflow net is k-sound for some k ≥ 1 is known as structural soundness. We prove that structural soundness of workflow nets is decidable.

机译：确定某个k≥1的给定工作流网是否为k声音的问题称为结构稳健性。我们证明工作流网络的结构合理性是可以确定的。

著录项

来源
《Information Processing Letters》 |2005年第2期|p.54-58|共5页
作者
Ferucio Laurentiu Tiplea; Dan Cristian Marinescu;
展开▼
作者单位

Department of Computer Science, 'Al.I. Cuza' University, Iasi, Romania;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
petri net; workflow net; soundness; decidability; algorithms;

机译：Petri网;工作流网;健全性;可判定性;算法;

相似文献

外文文献
中文文献
专利

1. On the Complexity of Deciding Soundness of Acyclic Workflow Nets [J] . Tiplea Ferucio Laurentiu, Bocaneala Corina, Chirosca Raluca IEEE Transactions on Systems, Man, and Cybernetics . 2015,第9期

机译：论非循环工作流网络确定健全性的复杂性
2. Soundness for Resource-Constrained Workflow Nets Is Decidable [J] . Sidorova N., Stahl C. Systems, Man, and Cybernetics: Systems, IEEE Transactions on . 2013,第3期

机译：确定资源受限的工作流网络的稳健性
3. Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets [J] . Tiplea F. L., Bocaneala C. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on . 2012,第1期

机译：资源受限的工作流网的健全性标准的可判定性结果
4. Decidability of k-Soundness for Workflow Nets with an Unbounded Resource [C] . Vladimir A. Bashkin, Irina A. Lomazova International conference on application and theory of petri nets and concurrency;International conference on application of concurrency to system design . 2014

机译：具有无限资源的工作流网络的k可靠性的可判定性
5. Toward a Structurally-sound Model of Uncertainty-related Personality Traits [D] . Rautu, Alex. 2018

机译：朝着不确定性相关人格特征的结构性 - 合理的模型
6. The Equivalency between Logic Petri Workflow Nets and Workflow Nets [O] . Jing Wang, ShuXia Yu, YuYue Du 2015

机译：逻辑Petri工作流网和工作流网之间的等效性
7. 1Soundness for Resource-Constrained Workflow Nets is Decidable [O] . Natalia Sidorova, Christian Stahl 2015

机译：1资源受限工作流网络的可靠性是可判定的

Structural soundness of workflow nets is decidable

摘要

著录项

相似文献

相关主题

期刊订阅