登录注册
高级搜索
包含全部检索词
包含精确检索词
包含至少一个检索词
不包含检索词
出现检索词的位置
文章任何位置
位于文章标题
作者
机构
出版物 期刊
会议
发表时间  - 
语言检索范围 不限
不限 英文 中文
文献
期刊
学者
论文查重 优惠
论文查重
开题分析
单篇购买
文献互助

The Application of Petri Nets to Workflow Management

来自 EBSCO

阅读量：

503

作者：

WMPVD Aalst

展开

摘要：

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

展开

关键词：

Practical/ formal specification management information systems Petri nets/ Petri nets workflow management business processes explicit representation business process logic design language/ C6110F Formal methods C7100 Business and administration C1160 Combinatorial mathematics

DOI：

10.1142/S0218126698000043

被引量：

5709

年份：

1998

收藏 引用 批量引用 分享
全部来源 免费下载 求助全文 全文购买

通过文献互助平台发起求助，成功后即可免费获取论文全文。

我们已与文献出版商建立了直接购买合作。

你可以通过身份认证进行实名认证，认证成功后本次下载的费用将由您所在的图书馆支付

您可以直接购买此文献，1~5分钟即可下载全文，部分资源由于网络原因可能需要更长时间，请您耐心等待哦~

身份认证 全文购买

相似文献

参考文献

引证文献

来源期刊

Journal of Circuits, Systems and Computers
1998/02/01

研究点推荐

引用走势

2009
被引量：421

辅助模式

0

引用

文献可以批量引用啦~
欢迎点我试用！

引用