Petri网标准ISO/IEC15909 - CSDN文库

3星 · 超过75%的资源需积分: 10 157 浏览量更新于2023-03-03 评论收藏 370KB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

资源详情

资源评论

资源推荐

ISO/IEC JTC1/SC7

Software

& Systems Engineering

Secretariat: CANADA (SCC)

ISO/IEC JTC1/SC7 2757

2002-12-13

Document Type Combined WD circulation, CD Registration and FCD ballot.

Title WD15909 - Software Engineering - High Level Petri Net

Source WG19

Project ISO 15909

Status WD

References Resolution 667, N1947, N2003, N2756

Action ID ACT

Due Date 2003-04-13

Mailing Date 2002-12-13

Distribution SC7_AG; P, O & L Members

Medium Acrobat

No. of Pages 43

Note

As per Busan Resolution 667:

JTC1/SC7 instructs its Secretariat to issue when available, a New Work Item Proposal on Petri Net

Techniques, for a three months letter ballot, by 1st July 2002, and to copy JTC1 for information.The

original NWI (SC7 N1441) and ballot results (SC7 N1494) should accompany this ballot as

background information.If and when the NP is approved, JTC1/SC7 appoints Professor Jonathan

Billington (Australia) as Editor and instructs its Secretariat to 1) assign the project to WG19;

2) issue, when available, the Software Engineering – High-level Petri Nets – Concepts, Definitions

and Graphical Notation (formerly Revised FCD 15909) for combined WD, CD Registration and

FCD ballot. The document should be accompanied by the Summary and Disposition of Comments

for FCD 15909.

Address reply to: ISO/IEC JTC1/SC7 Secretariat

École de technologie supérieure – Département de génie électrique

1100 Notre Dame Ouest, Montréal, Québec Canada H3C 1K3

secretariat@jtc1-sc7.org

www.jtc1-sc7.org

Contents

Introduction 5

1 Scope 6

1.1 Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.2 Field of Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.3 Audience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2 Normative References 7

3 Terms, Deﬁnitions, Abbreviations and Symbols 7

3.1 Glossary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3.2 Abbreviations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

4 Conventions and Notation 11

5 Semantic Model for High-level Petri Nets 11

5.1 Deﬁnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

5.2 Marking of HLPN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5.3 Enabling of Transition Modes . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5.3.1 Enabling of a Single Transition Mode . . . . . . . . . . . . . . . . . . 12

5.3.2 Concurrent Enabling of Transition Modes . . . . . . . . . . . . . . . . 12

5.4 Transition Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

6 Concepts Required for High-level Petri Net Graphs 13

6.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

6.2 High-level Petri Net Graph Components . . . . . . . . . . . . . . . . . . . . . 13

6.3 Net Execution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

6.3.1 Enabling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

6.3.2 Transition Rule for a Single Transition Mode . . . . . . . . . . . . . . 14

6.3.3 Step of Concurrently Enabled Transition Modes . . . . . . . . . . . . . 15

6.4 Graphical Concepts and Notation . . . . . . . . . . . . . . . . . . . . . . . . . 15

6.5 Conditionals in Arc Expressions, and Parameters . . . . . . . . . . . . . . . . 16

7 Deﬁnition of High-level Petri Net Graphs 18

7.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2

剩余45页未读，继续阅读

评论2

hodull

2018-01-08

只是2003年的一个draft，并不是2004年的正式标准。

patrickjiang

粉丝: 14
资源: 37

会员权益专享

图片转文字

全年可省5，000元立即开通

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈