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

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

About: Sequential Petri Nets and the Modeling of Multithreading 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 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 verification of 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. 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 verification of 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. (en)
Title	Sequential Petri Nets and the Modeling of Multithreading Programming Systems Sequential Petri Nets and the Modeling of Multithreading Programming Systems (en)
skos:prefLabel	Sequential Petri Nets and the Modeling of Multithreading Programming Systems Sequential Petri Nets and the Modeling of Multithreading Programming Systems (en)
skos:notation	RIV/61989100:27510/11:86080505!RIV14-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	2014
http://linked.open...aciTvurceVysledku	Martiník, Ivo
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	228929
http://linked.open...ai/riv/idVysledku	RIV/61989100:27510/11:86080505
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Petri nets, sequence, multithreading, modeling, programming system (en)
http://linked.open.../riv/klicoveSlovo	modeling multithreading sequence programming system Petri nets
http://linked.open...ontrolniKodProRIV	[35727B310285]
http://linked.open...v/mistoKonaniAkce	Čeladná
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Strategic Management and its Support by Information Systems
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...iv/tvurceVysledku	Martiník, Ivo
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open...ain/vavai/riv/wos	000324841900010
http://linked.open.../riv/zahajeniAkce	2011-09-05 (xsd:date)
number of pages	18 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoká škola báňská - Technická univerzita Ostrava
https://schema.org/isbn	978-80-248-2444-4
http://localhost/t...ganizacniJednotka	27510

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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