недоступно на русском языке

Текущий статус : Опубликовано (Hа стадии пересмотра)

Последний раз этот стандарт был пересмотрен в  2019. Поэтому данная версия остается актуальной
Формат Язык
PDF
Бумажный
  • CHF216
Пересчитать швейцарские франки (CHF) в ваша валюта

Тезис

ISO/IEC 15909-2:2011 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of Petri nets among different Petri net tools and among different parties. Moreover, ISO/IEC 15909-2:2011 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets.

The focus of ISO/IEC 15909-2:2011 is on the transfer format for Place/Transition Nets, High-level Petri Nets and Symmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so that other versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri net type definition, is not defined in ISO/IEC 15909-2:2011; it will be defined in ISO/IEC 15909-3.

The transfer format will be used to transfer specifications of systems developed in High-level Petri Nets between tools to facilitate the development of systems in teams.

ISO/IEC 15909-2:2011 is written as a reference for developers of Petri net tools. It will also be useful for researchers who define new versions and variants of Petri nets.

Standard first page

Preview 

Вы можете ознакомиться с данным стандартом в нашей онлайн-библиотеке (OBP)

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 2011-02
    Этап
    : Систематический пересмотр между-народного стандарта [90.20]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 7
    ICS :
    35.080 
  • RSS обновления

Жизненный цикл

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

9
Индустриализация, инновации и инфраструктура

Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 7
  6. ISO/IEC 15909-2:2011