This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n14http://localhost/temp/predkladatel/
n3http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n20http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n9https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n13http://bibframe.org/vocab/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27510%2F12%3A86082471%21RIV13-MSM-27510___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27510%2F12%3A86082471%21RIV13-MSM-27510___
rdf:type
n11:Vysledek skos:Concept
dcterms:description
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 Petri nets 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 functional programming. The fusion of object-oriented and functional programming enables to express new kinds of programming patterns and component abstractions. 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 Petri nets 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 functional programming. The fusion of object-oriented and functional programming enables to express new kinds of programming patterns and component abstractions.
dcterms:title
Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
skos:prefLabel
Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
skos:notation
RIV/61989100:27510/12:86082471!RIV13-MSM-27510___
n11:predkladatel
n20:orjk%3A27510
n4:aktivita
n15:V
n4:aktivity
V
n4:dodaniDat
n17:2013
n4:domaciTvurceVysledku
n18:5134897
n4:druhVysledku
n6:C
n4:duvernostUdaju
n10:S
n4:entitaPredkladatele
n12:predkladatel
n4:idSjednocenehoVysledku
167531
n4:idVysledku
RIV/61989100:27510/12:86082471
n4:jazykVysledku
n21:eng
n4:klicovaSlova
Programming Systems; Object-Oriented; Multithreading; Modeling; Nets; Petri; Object; Sequential
n4:klicoveSlovo
n5:Multithreading n5:Modeling n5:Sequential n5:Object-Oriented n5:Petri n5:Nets n5:Object n5:Programming%20Systems
n4:kontrolniKodProRIV
[2D2A61F56768]
n4:mistoVydani
Rijeka
n4:nazevZdroje
Petri Nets - Manufacturing and Computer Science
n4:obor
n19:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetStranKnihy
492
n4:pocetTvurcuVysledku
1
n4:rokUplatneniVysledku
n17:2012
n4:tvurceVysledku
Martiník, Ivo
s:numberOfPages
30
n13:doi
10.5772/48470
n3:hasPublisher
InTech
n9:isbn
978-953-51-0700-2
n14:organizacniJednotka
27510