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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
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 (en)
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 (en)
skos:notation	RIV/61989100:27510/12:86082471!RIV13-MSM-27510___
http://linked.open...avai/predkladatel	Ekonomická fakulta
http://linked.open...avai/riv/aktivita	V
http://linked.open...avai/riv/aktivity	V
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Martiník, Ivo
http://linked.open.../riv/druhVysledku	C - Kapitola v knize
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Ekonomická fakulta
http://linked.open...dnocenehoVysledku	167531
http://linked.open...ai/riv/idVysledku	RIV/61989100:27510/12:86082471
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Programming Systems; Object-Oriented; Multithreading; Modeling; Nets; Petri; Object; Sequential (en)
http://linked.open.../riv/klicoveSlovo	Modeling Object Multithreading Nets Object-Oriented Petri Programming Systems Sequential
http://linked.open...ontrolniKodProRIV	[2D2A61F56768]
http://linked.open...i/riv/mistoVydani	Rijeka
http://linked.open...i/riv/nazevZdroje	Petri Nets - Manufacturing and Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...v/pocetStranKnihy	492 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Martiník, Ivo
number of pages	30 (xsd:int)
http://bibframe.org/vocab/doi	10.5772/48470
http://purl.org/ne...btex#hasPublisher	InTech
https://schema.org/isbn	978-953-51-0700-2
http://localhost/t...ganizacniJednotka	27510
is http://linked.open...avai/riv/vysledek of	Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software