Detail publikace
The Object Oriented Petri Net Component Model
Formalismus Objektově orientované Petriho sítě (OOPN) je součástí práce zabývající se metodikou tvorby softwaru v simulaci. V této metodice není rozdíl mezi modely, prototypy, nebo cílovým systémem. Základem je model, který je vždy spustilelný a může být modifikován i za běhu. Navíc je možné kombinovat různé formalismy pro vývoj softwaru. Uvedený koncept vyžaduje existenci společné platformy, která musí být jednoduchá a musí umožňovat výměnu částí modelů za běhu. Pro specifikaci platformy byl použit formalismus Discrete Event System Specification (DEVS), který umožňuje vytvářet systém spojováním komponent, kde každá komponenta je modelována formalismem OOPN. Článek definuje takovou platformu a věnuje se otázkám bezpečné výměny komponent za běhu.
@INPROCEEDINGS{FITPUB10913,
author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
title = "The Object Oriented Petri Net Component Model",
pages = "18--24",
booktitle = "The Tenth International Conference on Software Engineering Advances",
year = 2015,
location = "Barcelona, ES",
publisher = "Xpert Publishing Services",
ISBN = "978-1-61208-438-1",
language = "english",
url = "https://www.fit.vut.cz/research/publication/10913"
}