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:
BOOKS
All Books
PACKAGES
All Packages
EDITION
to
PUBLISHER
AABC
(1)
AAMI
(366)
ACI
(651)
AECDAILY
(599)
AISC
(57)
ASA
(290)
ASCE
(1055)
ASHRAE
(738)
ASME
(2283)
ASSE
(117)
ASTM
(99009)
AWC
(58)
AWWA
(650)
BHMA
(137)
BICSI
(42)
BIFMA
(29)
BOMA
(20)
BSI
(102487)
CRSI
(18)
IAHSS
(1)
IAPMO
(397)
ICC
(328)
IEC
(10763)
IEEE
(7368)
IES
(266)
ISEA
(21)
ISO
(24376)
Joint Commission
(206)
Joint Commission Int.
(1)
NEMA
(1005)
NETA
(7)
NFPA
(1737)
TCNA
(26)
TMS
(19)
USGBC
(28)
WILEY
(4)
 
AR
(6)
AZ
(7)
CA
(128)
CO
(1)
CT
(4)
FL
(58)
ID
(5)
IL
(7)
IN
(1)
KY
(1)
LA
(2)
MI
(28)
MN
(27)
NC
(36)
NJ
(13)
NY
(71)
OH
(24)
OR
(27)
PA
(7)
RI
(8)
SC
(20)
SD
(1)
TX
(3)
VA
(50)
VT
(7)
WA
(34)
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
  • ISO
    ISO/IEC 15909-3:2021 Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms
    Edition: 2021
    $286.57
    / user per year

Content Description

This document defines enrichments, extensions and structuring mechanisms of Petri nets, applied on the definitions proposed in ISO/IEC 15909-1. This document facilitates the definitions of new kinds of Petri nets and their interoperability, while remaining compatible with those defined in ISO/IEC 15909-1.

This document is written as a reference for designers of new Petri net variants, by defining common enrichments, extensions and structuring mechanisms, as well as a generalized process for defining new ones.

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;

—    modelling business and software processes;

—    providing the semantics for concurrent languages;

—    simulation of systems to increase confidence;

—    formal analysis of the behaviour 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, defence 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 workflow.



About ISO

ISO, the International Organization for Standardization, brings global experts together to agree on the best way of doing things – for anything from making a product to managing a process. As one of the oldest non-governmental international organizations, ISO has enabled trade and cooperation between people and companies all over the world since 1946. The International Standards published by ISO serve to make lives easier, safer and better.
GROUPS
X