CAN CSA-ISO IEC 15909-1-2005 Software and system engineering - High-level Petri nets - Part 1 Concepts definitions and graphical notation.pdf

1、 Reference numberISO/IEC 15909-1:2004(E)ISO/IEC 2004Ingnierie du logiciel et du systme Toiles de Petri de haut niveau Partie 1: Concepts, dfinitions et notation graphique Software and system engineering High-level Petri nets Part 1:Concepts, definitions and graphicalnotationNational Standard of Cana

2、daCAN/CSA-ISO/IEC 15909-1:05(ISO/IEC 15909-1:2004)International Standard ISO/IEC 15909-1:2004 (first edition, 2004-12-01) has been adopted withoutmodification (IDT) as CSA Standard CAN/CSA-ISO/IEC 15909-1:05, which has been approved as a NationalStandard of Canada by the Standards Council of Canada.

3、ISBN 1-55397-971-0 October 2005The Canadian Standards Association (CSA), under whose auspices this National Standard has been produced, was chartered in 1919 and accredited by the Standards Council of Canada to the National Standards system in 1973. It is a not-for-profit, nonstatutory, voluntary me

4、mbership association engaged in standards development and certification activities. CSA standards reflect a national consensus of producers and users including manufacturers, consumers, retailers, unions and professional organizations, and governmental agencies. The standards are used widely by indu

5、stry and commerce and often adopted by municipal, provincial, and federal governments in their regulations, particularly in the fields of health, safety, building and construction, and the environment. Individuals, companies, and associations across Canada indicate their support for CSAs standards d

6、evelopment by volunteering their time and skills to CSA Committee work and supporting the Associations objectives through sustaining memberships. The more than 7000 committee volunteers and the 2000 sustaining memberships together form CSAs total membership from which its Directors are chosen. Susta

7、ining memberships represent a major source of income for CSAs standards development activities. The Association offers certification and testing services in support of and as an extension to its standards development activities. To ensure the integrity of its certification process, the Association r

8、egularly and continually audits and inspects products that bear the CSA Mark. In addition to its head office and laboratory complex in Toronto, CSA has regional branch offices in major centres across Canada and inspection and testing agencies in eight countries. Since 1919, the Association has devel

9、oped the necessary expertise to meet its corporate mission: CSA is an independent service organization whose mission is to provide an open and effective forum for activities facilitating the exchange of goods and services through the use of standards, certification and related services to meet natio

10、nal and international needs.For further information on CSA services, write toCanadian Standards Association5060 Spectrum Way, Suite 100Mississauga, Ontario, L4W 5N6CanadaThe Standards Council of Canada is the coordinating body of the National Standards system, a federation of independent, autonomous

11、 organizations working towards the further development and improvement of voluntary standardization in the national interest. The principal objects of the Council are to foster and promote voluntary standardization as a means of advancing the national economy, benefiting the health, safety, and welf

12、are of the public, assisting and protecting the consumer, facilitating domestic and international trade, and furthering international cooperation in the field of standards. A National Standard of Canada is a standard which has been approved by the Standards Council of Canada and one which reflects a

13、 reasonable agreement among the views of a number of capable individuals whose collective interests provide to the greatest practicable extent a balance of representation of producers, users, consumers, and others with relevant interests, as may be appropriate to the subject in hand. It normally is

14、a standard which is capable of making a significant and timely contribution to the national interest. Approval of a standard as a National Standard of Canada indicates that a standard conforms to the criteria and procedures established by the Standards Council of Canada. Approval does not refer to t

15、he technical content of the standard; this remains the continuing responsibility of the accredited standards development organization. Those who have a need to apply standards are encouraged to use National Standards of Canada whenever practicable. These standards are subject to periodic review; the

16、refore, users are cautioned to obtain the latest edition from the organization preparing the standard.The responsibility for approving National Standards of Canada rests with theStandards Council of Canada270 Albert Street, Suite 200Ottawa, Ontario, K1P 6N7CanadaAlthough the intended primary applica

17、tion of this Standard is stated in its Scope, it is importantto note that it remains the responsibility of the users to judge its suitability for their particular purpose.Registered trade-mark of Canadian Standards AssociationCette norme est offerte en anglais seulement pour le moment. La CSA publie

18、ra la version enfranais ds quelle sera produite par lorganisme rdacteur.CAN/CSA-ISO/IEC 15909-1:05Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notationOctober 2005 Canadian Standards Association CSA/1CAN/CSA-ISO/IEC 15909-1:05Software and system e

19、ngineering High-level Petri nets Part 1: Concepts, definitions and graphical notationCSA PrefaceStandards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve

20、 as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards Council of Canada (SCC), the ISO member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Teleco

21、mmunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T).At the time of publication, ISO/IEC 15909-1:2004 is available from ISO and IEC in English only. CSA will publish the French version when it becomes available from ISO and IEC.This

22、 International Standard was reviewed by the CSA TCIT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Project Manager.) From time to time, ISO/IEC may publis

23、h addenda, corrigenda, etc. The CSA TCIT will review these documents for approval and publication. For a listing, refer to the CSA Information Products catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by the Technical

24、 Committee and has been approved as a National Standard of Canada by the Standards Council of Canada.October 2005 Canadian Standards Association 2005All rights reserved. No part of this publication may be reproduced in any form whatsoever without the prior permission ofthe publisher. ISO/IEC materia

25、l is reprinted with permission. Where the words “this International Standard” appear in the text, they should be interpreted as “this National Standard of Canada”.Inquiries regarding this National Standard of Canada should be addressed toCanadian Standards Association5060 Spectrum Way, Suite 100, Mi

26、ssissauga, Ontario, Canada L4W 5N61-800-463-6727 416-747-4044www.csa.caReference numberISO/IEC 15909-1:2004(E)ISO/IEC 2004INTERNATIONAL STANDARD ISO/IEC15909-1First edition2004-12-01Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation Ingnierie d

27、u logiciel et du systme Toiles de Petri de haut niveau Partie 1: Concepts, dfinitions et notation graphique ISO/IEC 15909-1:2004(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall not be edited unle

28、ss the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark

29、 of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In

30、 the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. ISO/IEC 2004 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical,

31、 including photocopying and microfilm, without permission in writing from either ISO at the address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org i

32、i ISO/IEC 2004 All rights reservedISO/IEC 15909-1:2004(E) ISO/IEC 2004 All rights reserved iiiContentsForeword viIntroduction vii1 Scope 11.1 Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Field of Application . . . . . . . . . . . . . . . . . . . . . . . .

33、. . . . . . . . 11.3 Audience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Terms, Definitions, Abbreviations and Symbols 22.1 Glossary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22.2 Abbreviations . . . . . . . . . . . . . . . . . . .

34、. . . . . . . . . . . . . . . . 53 Conventions and Notation 54 Semantic Model for High-level Petri Nets 64.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64.2 Marking of HLPN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64.3 Enabling of Tr

35、ansition Modes . . . . . . . . . . . . . . . . . . . . . . . . . . 74.3.1 Enabling of a Single Transition Mode . . . . . . . . . . . . . . . . . . 74.3.2 Concurrent Enabling of Transition Modes . . . . . . . . . . . . . . . . 74.4 Transition Rule . . . . . . . . . . . . . . . . . . . . . . . . . . .

36、 . . . . . . . 75 Concepts Required for High-level Petri Net Graphs 85.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85.2 High-level Petri Net Graph Components . . . . . . . . . . . . . . . . . . . . . 85.3 Net Execution . . . . . . . . . . . . . . . . . . .

37、. . . . . . . . . . . . . . . . 85.3.1 Enabling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95.3.2 Transition Rule for a Single Transition Mode . . . . . . . . . . . . . . 95.3.3 Step of Concurrently Enabled Transition Modes . . . . . . . . . . . . . 105.4 Graphical Concepts an

38、d Notation . . . . . . . . . . . . . . . . . . . . . . . . . 105.5 Conditionals in Arc Expressions, and Parameters . . . . . . . . . . . . . . . . 116 Definition of High-level Petri Net Graphs 136.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13ISO/IEC 15909-

39、1:2004(E) iv ISO/IEC 2004 All rights reserved6.2 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136.3 Marking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146.4 Enabling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40、 . . . . . . . 146.4.1 Enabling of a Single Transition Mode . . . . . . . . . . . . . . . . . . 146.4.2 Concurrent Enabling of Transition Modes . . . . . . . . . . . . . . . . 156.5 Transition Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 Notation for High-level Petri

41、Net Graphs 167.1 General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167.2 Places . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167.3 Transitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167.4 Arcs . . . .

42、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177.5 Markings and Tokens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 Semantics of High-level Petri Net Graphs 179 Conformance 189.1 PN Conformance . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43、 . . . . 189.1.1 Level 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189.1.2 Level 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199.2 HLPN Conformance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199.2.1 Level 1 . . . . . . . . . . .

44、. . . . . . . . . . . . . . . . . . . . . . . 199.2.2 Level 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19Annex A: Mathematical Conventions (normative) 20A.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20A.2 Multisets . . . . . . . .

45、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20A.2.1 Sum Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . 20A.2.2 Membership . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20A.2.3 Empty Multiset . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46、. . 21A.2.4 Cardinality and Finite Multiset . . . . . . . . . . . . . . . . . . . . . . 21A.2.5 Multiset Equality and Comparison . . . . . . . . . . . . . . . . . . . . 21A.2.6 Multiset Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21A.3 Concepts from Algebraic Specification . .

47、 . . . . . . . . . . . . . . . . . . . . 21A.3.1 Signatures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21ISO/IEC 15909-1:2004(E) ISO/IEC 2004 All rights reserved vA.3.2 Boolean Signature . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22A.3.3 Variables . . . . . . . .

48、. . . . . . . . . . . . . . . . . . . . . . . . . 22A.3.4 Terms built from a Signature and Variables . . . . . . . . . . . . . . . 22A.3.5 Many-sorted Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . 23A.3.6 Assignment and Evaluation . . . . . . . . . . . . . . . . . . . . . . . 24Annex

49、B: Net Classes (normative) 25B.1 Place/Transition Nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25Annex C: High-level Petri Net Schema (informative) 27C.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27C.2 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27Annex D: Tutorial (informative) 28D.1 Introductio