BS ISO/IEC 15909-1-2004 软件和系统工程.高级皮特里网.概念、定义和图解标注

作者:标准资料网 时间:2024-05-15 05:36:10  浏览:9636   来源:标准资料网

【英文标准名称】:Softwareandsystemengineering-High-levelPetrinets-Concepts,definitionsandgraphicalnotation
【原文标准名称】:软件和系统工程.高级皮特里网.概念、定义和图解标注
【标准号】:BSISO/IEC15909-1-2004
【标准状态】:作废
【国别】:英国
【发布日期】:2004-12-13
【实施或试行日期】:2004-12-13
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:应用;数据处理;定义;信息处理;信息技术;管理;皮特里网;语义学;软件;规范(验收);系统工程
【英文主题词】:Applications;Dataprocessing;Definition;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
【国际标准分类号】:
【页数】:50P.;A4
【正文语种】:英语