About: Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů

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

About: Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů 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 bring some new and original concepts in comparison with the original P/T Petri nets. It is possible to successfully use these new ideas in the area of the projection, modeling and verification of distributed object-oriented programming systems. The base properties of the bi-realational P/T Petri nets are presented in this article, especially the possibilities of the newly defined kind of the net pages, input and output places of net pages and the multiplicative arcs in the area of the distributed object-oriented programming systems modeling. It is possible to use the base principles of the bi-relational P/T Petri nets in the frame of the bi-relational object Petri nets definition. (en) Bi-relační P/T Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci obecně distribuovaných objektově-orientovaných programových systémů. V příspěvku jsou prezentovány základní vlastnosti bi-relačních Petriho sítí a zejména pak možnosti nově zavedených stránek sítě, vstupních a výstupních míst stránek sítě a funkcionalit násobných hran v jejich definici při modelování distribuovaných objektově-orientovaných programových systémů. Základní principy bi-relačních P/T Petriho sítí je pak možno využít v definici bi-relačních objektových Petriho sítí. Bi-relační P/T Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci obecně distribuovaných objektově-orientovaných programových systémů. V příspěvku jsou prezentovány základní vlastnosti bi-relačních Petriho sítí a zejména pak možnosti nově zavedených stránek sítě, vstupních a výstupních míst stránek sítě a funkcionalit násobných hran v jejich definici při modelování distribuovaných objektově-orientovaných programových systémů. Základní principy bi-relačních P/T Petriho sítí je pak možno využít v definici bi-relačních objektových Petriho sítí. (cs)
Title	Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů (cs) BI-RELATIONAL P/T PETRI NETS AND THEIR USING IN THE MODELLING OF OBJECT-ORIENTED PROGRAMMING SYSTEMS (en)
skos:prefLabel	Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů (cs) BI-RELATIONAL P/T PETRI NETS AND THEIR USING IN THE MODELLING OF OBJECT-ORIENTED PROGRAMMING SYSTEMS (en)
skos:notation	RIV/61989100:27510/10:86075310!RIV11-MSM-27510___
http://linked.open...avai/riv/aktivita	V
http://linked.open...avai/riv/aktivity	V
http://linked.open...vai/riv/dodaniDat	2011
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	249000
http://linked.open...ai/riv/idVysledku	RIV/61989100:27510/10:86075310
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	Petri Nets, bi-relational, net page, multiplicative arc, object-oriented, modeling, class (en)
http://linked.open.../riv/klicoveSlovo	Petri Nets modeling multiplicative arc object-oriented bi-relational class net page
http://linked.open...ontrolniKodProRIV	[7C0A20A7C0AA]
http://linked.open...v/mistoKonaniAkce	Ostrava, Česká republika
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Informační technologie pro praxi 2010
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	2010
http://linked.open...iv/tvurceVysledku	Martiník, Ivo
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2010-10-07 (xsd:date)
number of pages	10 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoká škola báňská - Technická univerzita Ostrava. Ekonomická fakulta
https://schema.org/isbn	978-80-248-2300-3
http://localhost/t...ganizacniJednotka	27510

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, 97 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software