Cart (0)
  • No items in cart.
Total
$0
There is a technical issue about last added item. You can click "Report to us" button to let us know and we resolve the issue and return back to you or you can continue without last item via click to continue button.
Home
Content
Tour
eLibrary
Store
Search book title
Filters:
FORMAT
BOOKS
All Books
PACKAGES
All Packages
EDITION
to
PUBLISHER
AABC
(1)
AAMI
(338)
ACI
(589)
AECDAILY
(599)
AISC
(55)
ASA
(234)
ASCE
(1006)
ASHRAE
(690)
ASME
(2161)
ASSE
(117)
ASTM
(95207)
AWC
(58)
AWWA
(575)
BHMA
(124)
BICSI
(33)
BIFMA
(21)
BOMA
(20)
BSI
(95391)
CHD
(3)
CRSI
(17)
IAHSS
(1)
IAPMO
(374)
ICC
(319)
IEEE
(6938)
IES
(241)
ISEA
(21)
Joint Commission
(184)
Joint Commission Int.
(1)
NETA
(6)
NFPA
(1667)
TCNA
(17)
TMS
(19)
USGBC
(28)
WILEY
(4)
 
AR
(6)
AZ
(7)
CA
(115)
CT
(3)
FL
(57)
ID
(5)
IL
(5)
IN
(1)
KY
(1)
LA
(2)
MI
(25)
MN
(27)
NC
(27)
NJ
(13)
NY
(61)
OH
(24)
OR
(22)
PA
(7)
RI
(8)
SC
(20)
SD
(1)
TX
(3)
VA
(50)
VT
(6)
WA
(33)
CONTENT TYPE
 Act
 Admin Code
 Announcements
 Bill
 Book
 CADD File
 CAN
 CEU
 Charter
 Checklist
 City Code
 Code
 Commentary
 Comprehensive Plan
 Conference Paper
 County Code
 Course
 DHS Documents
 Document
 Errata
 Executive Regulation
 Federal Guideline
 Firm Content
 Guideline
 Handbook
 Interpretation
 Journal
 Land Use and Development
 Law
 Legislative Rule
 Local Amendment
 Local Code
 Local Document
 Local Regulation
 Local Standards
 Manual
 Model Code
 Model Standard
 Notice
 Ordinance
 Other
 Paperback
 PASS
 Periodicals
 PIN
 Plan
 Policy
 Product
 Product - Data Sheet
 Program
 Provisions
 Requirements
 Revisions
 Rules & Regulations
 Standards
 State Amendment
 State Code
 State Manual
 State Plan
 State Standards
 Statute
 Study Guide
 Supplement
 Sustainability
 Technical Bulletin
 All
  • BSI
    BS ISO/IEC 15909-1:2019 Systems and software engineering. High-level Petri nets - Concepts, definitions and graphical notation
    Edition: 2019
    $442.60
    / user per year

Description of BS ISO/IEC 15909-1:2019 2019

This document defines a Petri net modeling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. This document also facilitates the development and interoperability of Petri net computer support tools.

This document is applicable to a wide variety of concurrent discrete event systems and in particular distributed systems. Generic fields of application include:

  • requirements analysis;

  • development of specifications, designs and test suites;

  • descriptions of existing systems prior to re-engineering;

  • modeling business and software processes;

  • providing the semantics for concurrent languages;

  • simulation of systems to increase confidence;

  • formal analysis of the behavior of systems;

  • and development of Petri net support tools.

This document can be applied to the design of a broad range of systems and processes, including aerospace, air traffic control, avionics, banking, biological and chemical processes, business processes, communication protocols, computer hardware architectures, control systems, databases, defense command and control systems, distributed computing, electronic commerce, fault-tolerant systems, games, hospital procedures, information systems, Internet protocols and applications, legal processes, logistics, manufacturing systems, metabolic processes, music, nuclear power systems, operating systems, transport systems (including railway control), security systems, telecommunications and workflows.



Standard NumberBS ISO/IEC 15909-1:2019
TitleSystems and software engineering. High-level Petri nets - Concepts, definitions and graphical notation
StatusUnder Review
Publication Date2019-09-03
ReplacesBS ISO/IEC 15909-1:2004+A1:2010
Identical National Standard OfISO/IEC 15909-1
DescriptorsSystems engineering, Software engineering techniques, Semantics, Data syntax, Software techniques
ICS35.080 Software
CommitteeIST/15
ISBN978 0 580 95617 1
PublisherBSI
Pages38

About BSI

BSI Group, also known as the British Standards Institution is the national standards body of the United Kingdom. BSI produces technical standards on a wide range of products and services and also supplies certification and standards-related services to businesses.
GROUPS
X