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%3A00020783" target="_blank" >RIV/61989100:27510/09:00020783 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
MODELLING OF MULTITHREADED PROGRAMMING SYSTEMS WITH MODIFIED SUPER-DUAL PETRI NETS
Original language description
Super-dual Petri nets bring several original ideas to the concepts of the standard Place/Transition Petri nets transition functionalities refinement. Modified super-dual Petri nets presented in this article were defined specially for the purpose of modelling multithreaded or distributed programming systems. The main idea of their modification follows from the introduction of the concurrent place-transition firing notion and the representation of the programming threads objects by net tokens and passiveor lock objects by net pokens and this principle is demonstrated on several examples.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
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
Name of the periodical
ECON'09
ISSN
1803-3865
e-ISSN
—
Volume of the periodical
16
Issue of the periodical within the volume
2
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
8
Pages from-to
—
UT code for WoS article
—
EID of the result in the Scopus database
—