Sequential Petri Nets and the Modeling of Multithreading Programming Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F11%3A86080505" target="_blank" >RIV/61989100:27510/11:86080505 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Sequential Petri Nets and the Modeling of Multithreading Programming Systems
Original language description
Sequential 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 and can be successfully used at a design, modeling and verificationof multithreading programming systems executing in parallel or distributed environment. In this paper basic characteristics of sequential Petri nets are very briefly presented including possibilities in their definition of newly introduced tokens as non-empty finite sequences over the set of non-negative integer numbers and the mechanism of the firing of transitions at the modeling of multithreading programming systems. Sequential Petri Nets are also the initial step to the definition of object sequential Petri nets within the framework of which all paradigms of object-oriented programming can be explicitly represented.
Czech name
—
Czech description
—

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Strategic Management and its Support by Information Systems
ISBN
978-80-248-2444-4
ISSN
—
e-ISSN
—
Number of pages
18
Pages from-to
77-94
Publisher name
VŠB TU Ostrava
Place of publication
Ostrava
Event location
Čeladná
Event date
Sep 5, 2011
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000324841900010

Similar results(10)