Petri Nets—A Versatile Modeling Structure

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

Petri Nets—A Versatile Modeling Structure Miryam Barad
【期刊名称】《应用数学(英文)》
【年(卷),期】2016(7)9
【摘要】Petri Nets (PNs) are an effective structure for modeling and analyzing asynchronous systems with concurrent and parallel activities. A Petri net models the static properties of a discrete event system concentrating on two basic concepts: events and conditions. Most of the theoretical work on Petri nets is a formal definition of Petri nets structures, which consist of a set of places, representing conditions, a set of transitions, representing events, an input function and an output function. For practical purposes, a graphical representation is more useful. Two types of nodes portray places and transitions. A circle is a place and a bar is a transition. There is no inherent measure of time in a classical Petri net. To approach time-based evaluation of system performances, Timed Petri Nets (TPNs) were introduced. Modeling the notion of time is not straightforward. There are several possibilities for introducing time in PNs, among them timed transitions and timed places. This paper reviews several published examples where Petri Nets were used in different circumstances such as estimating expected utilization of processing resources at steady state in open queueing networks, verifying computerized simulations and batch planning in textile industry.
【总页数】11页(P829-839)
【作者】Miryam Barad
【作者单位】Department of Industrial Engineering, Faculty of Engineering, Tel Aviv University, Tel Aviv, Israel
【正文语种】中文
【中图分类】TP3
【相关文献】
1.Methods for behavior descriptions of structure-complex Petri
nets2.Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net3.The Transform Method from the Concept Model to the Petri Net Model4.A Survey of Control Structures for Reconfigurable Petri Nets5.Model Checking Workflow Net Based on Petri Net
因版权原因,仅展示原文概要,查看原文内容请购买。

相关文档
最新文档