Sequential Petri Nets and the Modeling of Multithreading Programming Systems

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Sequential Petri Nets and the Modeling of Multithreading Programming Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Sequential Petri Nets and the Modeling of Multithreading Programming Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2011

Kód důvěrnosti údajů

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

Název statě ve sborníku

Strategic Management and its Support by Information Systems

ISBN

978-80-248-2444-4

ISSN

—

e-ISSN

—

Počet stran výsledku

18

Strana od-do

77-94

Název nakladatele

VŠB TU Ostrava

Místo vydání

Ostrava

Místo konání akce

Čeladná

Datum konání akce

5. 9. 2011

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

000324841900010