標(biāo)準(zhǔn)號(hào)：ISO/IEC 15909-1-2004
中文標(biāo)準(zhǔn)名稱：軟件和系統(tǒng)工程.**皮特里網(wǎng).第1部分:概念、定義和圖形注釋
英文標(biāo)準(zhǔn)名稱：System and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
標(biāo)準(zhǔn)類型：L77
發(fā)布日期：1999/12/31 12:00:00
實(shí)施日期：1999/12/31 12:00:00
中國(guó)標(biāo)準(zhǔn)分類號(hào)：L77
國(guó)際標(biāo)準(zhǔn)分類號(hào)：35.080
適用范圍：1.1 PurposeThis International Standard defines a Petri net technique, called High-level Petri Nets, includingits syntax and semantics. It provides a reference definition that can be used both withinand between organisations, to ensure a common understanding of the technique and of thespecifications written using the technique. This International Standard will also facilitate thedevelopment and interoperability of Petri net computer support tools.Part 1 of this International Standard defines a mathematical semantic model, an abstract mathematicalsyntax for annotations and a graphical notation for High-level Petri Nets, known asthe High-level Petri Net Graph. A mathematical mapping is provided that defines the graphicalform in terms of the semantic model. A transfer format for the High-level Petri Net Graph is thesubject of Part 2 of this International Standard, while Part 3 addresses techniques for modularity(such as hierarchies) and the augmentation of High-level Petri Nets with time.1.2 Field of ApplicationThis International Standard is applicable to a wide variety of concurrent discrete event systemsand in particular distributed systems. Generic fields of application include:1.3 AudiencePart 1 of this International Standard is written as a reference for systems analysts, designers,developers, maintainers and procurers, and for Petri net tool designers and standards developers.