Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F12%3A86082471" target="_blank" >RIV/61989100:27510/12:86082471 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.5772/48470" target="_blank" >http://dx.doi.org/10.5772/48470</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5772/48470" target="_blank" >10.5772/48470</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

Popis výsledku v původním jazyce

Sequential object Petri nets are the newly introduced class of Petri nets, whose definition is the main topics of this article; they feature certain original concepts and can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in highly-parallel or distributed environment. In this article basic characteristics of sequential object Petri nets are very briefly presented including possibilities in their definition of newly introduced tokens as non-empty finite recursive sequences over the set of non-negative integer numbers, functionalities of multiarcs and the mechanism of the firing of transitions. These properties significantly increase modeling capabilities of this class of Petrinets at the modeling of multithreading object-oriented programming systems. Sequential object Petri nets can be used also in the area of recursive algorithms modeling and they are also the initial step to explicitly represent paradigms of

Název v anglickém jazyce

Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

Popis výsledku anglicky

Sequential object Petri nets are the newly introduced class of Petri nets, whose definition is the main topics of this article; they feature certain original concepts and can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in highly-parallel or distributed environment. In this article basic characteristics of sequential object Petri nets are very briefly presented including possibilities in their definition of newly introduced tokens as non-empty finite recursive sequences over the set of non-negative integer numbers, functionalities of multiarcs and the mechanism of the firing of transitions. These properties significantly increase modeling capabilities of this class of Petrinets at the modeling of multithreading object-oriented programming systems. Sequential object Petri nets can be used also in the area of recursive algorithms modeling and they are also the initial step to explicitly represent paradigms of

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2012

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 knihy nebo sborníku

Petri Nets - Manufacturing and Computer Science

ISBN

978-953-51-0700-2

Počet stran výsledku

30

Strana od-do

195-224

Počet stran knihy

492

Název nakladatele

InTech

Místo vydání

Rijeka

Kód UT WoS kapitoly

—