한국표준정보망(KSSN)

관심표준 등록 : 표준업데이트 시 알림을 받을 수 있습니다.

PDF : 직접 파일 다운로드 및 인쇄 (마이페이지 확인)

PRINT : 인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)

구판 판매

Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation

언어	제공형태	판매가격	선택
영어	PDF	100,300원
영어	PRINT	100,300원

장바구니 담기

상품이 장바구니에 담겼습니다.

장바구니로 이동

분야	ISO/IEC JTC 1/SC 7 : Software and systems engineering
적용범위	ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.
국제분류(ICS)코드	35.080 : 소프트웨어 개발 및 시스템 문서화
페이지수	38
Edition	1

No.	표준번호	표준명	발행일	상태
1	CSA ISO/IEC 15909-1:20	Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation (Adopted ISO/IEC 15909-1:2019, second edition, 2019-08)	2020-01-01	표준
2	ISO/IEC 15909-1:2019	Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation	2019-08-27	표준
3	ISO/IEC 15909-1:2019	Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation	2019-08-27	표준
4	ISO/IEC 15909-1:2004/Amd 1:2010	Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation — Amendment 1: Symmetric Nets	2010-05-20	구판
5	ISO/IEC 15909-1:2004/AMD1:2010	Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - Amendment 1: Symmetric Nets	2010-05-20	구판
6	ISO/IEC 15909-1:2004	Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation	2004-12-02	구판
7	ISO/IEC 15909-1:2004	Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation	2004-12-02	구판