MODELLING OF MULTITHREADED PROGRAMMING SYSTEMS WITH MODIFIED SUPER-DUAL PETRI NETS
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F09%3A00020782" target="_blank" >RIV/61989100:27510/09:00020782 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
SUPER-DUÁLNÍ PETRIHO SÍTĚ A JEJICH UPLATNĚNÍ PŘI MODELOVÁNÍ DISTRIBUOVANÝCH PROGRAMOVÝCH SYSTÉMŮ
Original language description
Super-duální Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci distribuovaných programových systémů. V příspěvku jsou prezentovány základní vlastnosti super-duálních Petriho sítí a zejména pak nové přístupy jejich nasazení při návrhu distribuovaných objektově-orientovaných programových systémů, jejichž hlavní myšlenkou je reprezentace aktivních objektů prostřednictvím značek míst (token) a pasivních objektů formou značek přechodů (poken) příslušné super-duální Petriho sítě.
Czech name
SUPER-DUÁLNÍ PETRIHO SÍTĚ A JEJICH UPLATNĚNÍ PŘI MODELOVÁNÍ DISTRIBUOVANÝCH PROGRAMOVÝCH SYSTÉMŮ
Czech description
Super-duální Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci distribuovaných programových systémů. V příspěvku jsou prezentovány základní vlastnosti super-duálních Petriho sítí a zejména pak nové přístupy jejich nasazení při návrhu distribuovaných objektově-orientovaných programových systémů, jejichž hlavní myšlenkou je reprezentace aktivních objektů prostřednictvím značek míst (token) a pasivních objektů formou značek přechodů (poken) příslušné super-duální Petriho sítě.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Tvorba Softwaru 2009
ISBN
978-80-248-2012-5
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
—
Publisher name
Vysoká škola báňská - Technická univerzita Ostrava
Place of publication
Ostrava
Event location
Ostrava
Event date
May 20, 2010
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—