【英文标准名称】:Systemandsoftwareengineering-High-levelPetrinets-Part1:Concepts,definitionsandgraphicalnotation
【原文标准名称】:软件和系统工程.高级皮特里网.第1部分:概念、定义和图形注释
【标准号】:ISO/IEC15909-1-2004
【标准状态】:现行
【国别】:国际
【发布日期】:2004-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1/SC7
【标准类型】:()
【标准水平】:()
【中文主题词】:信息技术;皮特里网;管理;信息处理;数据处理;定义;规范(验收);软件;使用;语义学;系统工程
【英文主题词】:Applications;Dataprocessing;Definitions;Informationprocessing;Informationtechnology;Management;Petrinets;Semantics;Software;Specification(approval);Systemengineering
【摘要】:1.1PurposeThisInternationalStandarddefinesaPetrinettechnique,calledHigh-levelPetriNets,includingitssyntaxandsemantics.Itprovidesareferencedefinitionthatcanbeusedbothwithinandbetweenorganisations,toensureacommonunderstandingofthetechniqueandofthespecificationswrittenusingthetechnique.ThisInternationalStandardwillalsofacilitatethedevelopmentandinteroperabilityofPetrinetcomputersupporttools.Part1ofthisInternationalStandarddefinesamathematicalsemanticmodel,anabstractmathematicalsyntaxforannotationsandagraphicalnotationforHigh-levelPetriNets,knownastheHigh-levelPetriNetGraph.Amathematicalmappingisprovidedthatdefinesthegraphicalformintermsofthesemanticmodel.AtransferformatfortheHigh-levelPetriNetGraphisthesubjectofPart2ofthisInternationalStandard,whilePart3addressestechniquesformodularity(suchashierarchies)andtheaugmentationofHigh-levelPetriNetswithtime.1.2FieldofApplicationThisInternationalStandardisapplicabletoawidevarietyofconcurrentdiscreteeventsystemsandinparticulardistributedsystems.Genericfieldsofapplicationinclude:1.3AudiencePart1ofthisInternationalStandardiswrittenasareferenceforsystemsanalysts,designers,developers,maintainersandprocurers,andforPetrinettooldesignersandstandardsdevelopers.
【中国标准分类号】:L77
【国际标准分类号】:35_080
【页数】:38P.;A4
【正文语种】:英语