Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F11%3A86080366" target="_blank" >RIV/61989100:27510/11:86080366 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_21" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22389-1_21</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_21" target="_blank" >10.1007/978-3-642-22389-1_21</a>
Alternative languages
Result language
angličtina
Original language name
Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems
Original language description
Bi-relational P/T Petri nets are the newly introduced class of Petri nets, whose implementation and definitions are the main topics of this paper; they feature certain new and original concepts when compared with conventional P/T Petri nets, which can besuccessfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in parallel or distributed environment. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced net static pages and dynamic pages, net dynamic pages instances and their possible dynamic creation and destruction, functionalities of multiarcs and the mechanism of the execution of transitions at the modeling of object-oriented programming systems. The concept of subpages of net pages and its application in the modeling of the declared static and non-static variables and methods including the class inheritance and poly
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2011
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
Communications in Computer and Information Science
ISSN
1865-0929
e-ISSN
—
Volume of the periodical
188
Issue of the periodical within the volume
30
Country of publishing house
DE - GERMANY
Number of pages
15
Pages from-to
222-236
UT code for WoS article
—
EID of the result in the Scopus database
—