About: Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems

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

About: Bi-relational P/T 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	Bi-relational P/T 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 when compared with conventional P/T Petri nets, which can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in parallel or distributed environment. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced net static pages and dynamic pages, net dynamic pages instances and their possible dynamic creation and destruction, functionalities of multiarcs and the mechanism of the execution of transitions at the modeling of object-oriented programming systems. The concept of subpages of net pages and its application in the modeling of the declared static and non-static variables and methods including the class inheritance and polymorphism, is also of an interest. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets. Bi-relational P/T 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 when compared with conventional P/T Petri nets, which can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in parallel or distributed environment. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced net static pages and dynamic pages, net dynamic pages instances and their possible dynamic creation and destruction, functionalities of multiarcs and the mechanism of the execution of transitions at the modeling of object-oriented programming systems. The concept of subpages of net pages and its application in the modeling of the declared static and non-static variables and methods including the class inheritance and polymorphism, is also of an interest. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets. (en)
Title	Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems (en)
skos:prefLabel	Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems (en)
skos:notation	RIV/61989100:27510/11:86080366!RIV12-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...iv/cisloPeriodika	30/06/2011
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Martiník, Ivo
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	188458
http://linked.open...ai/riv/idVysledku	RIV/61989100:27510/11:86080366
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Petri nets; object-oriented modeling; net page; multiarc; class; bi-relational (en)
http://linked.open.../riv/klicoveSlovo	Petri nets bi-relational class multiarc net page object-oriented modeling
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[6E25E066D0FF]
http://linked.open...i/riv/nazevZdroje	Communications in Computer and Information Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2011
http://linked.open...v/svazekPeriodika	188
http://linked.open...iv/tvurceVysledku	Martiník, Ivo
issn	1865-0929
number of pages	15 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-22389-1_21
http://localhost/t...ganizacniJednotka	27510
is http://linked.open...avai/riv/vysledek of	Bi-relational P/T petri nets and the modeling of multithreading object-oriented programming systems Bi-relational P/T 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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software