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

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

Namespace Prefixes

PrefixIRI
n15http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://localhost/temp/predkladatel/
n20http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/ontology/domain/vavai/
n13https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60460709%3A41110%2F07%3A19345%21RIV08-GA0-41110___/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60460709%3A41110%2F07%3A19345%21RIV08-GA0-41110___
rdf:type
skos:Concept n16:Vysledek
dcterms:description
Cílem tohoto referátu je krátké představení transformace procesního diagramu metody BORM do Petriho sítě a simulace vzniklé sítě pomocí nástroje PNSim. Přínos spočívá zejména ve snaze popsat a realizovat proces, kdy z neformálního modelu v BORMu jsme schopni pomocí transformace vytvořit formální model (Petriho síť). Dále jsme schopni tento formální model ověřit pomocí simulace a na základě toho poukázat na důležité vlastnosti původního neformálního návrhu. Cílem tohoto referátu je krátké představení transformace procesního diagramu metody BORM do Petriho sítě a simulace vzniklé sítě pomocí nástroje PNSim. Přínos spočívá zejména ve snaze popsat a realizovat proces, kdy z neformálního modelu v BORMu jsme schopni pomocí transformace vytvořit formální model (Petriho síť). Dále jsme schopni tento formální model ověřit pomocí simulace a na základě toho poukázat na důležité vlastnosti původního neformálního návrhu. Centre of gravity in this paper is short presentation of transformation of BORM process diagram in to Petri net and simulation of this net in the PNSim tool. It the case of Petri nets is concerned mathematical apparatus. In the beginning, we are trying to describe by this formal apparatus (Petri nets) the non formal BORM process model, with the possibility of simulation in the PNSim tool. On the basis of simulation we want to say something about characteristics of the original non formal model (BORM).
dcterms:title
Transformace procesního modelu Transformace procesního modelu Transformation of process model
skos:prefLabel
Transformace procesního modelu Transformace procesního modelu Transformation of process model
skos:notation
RIV/60460709:41110/07:19345!RIV08-GA0-41110___
n3:strany
0;0
n3:aktivita
n18:P
n3:aktivity
P(GA402/06/1325)
n3:dodaniDat
n11:2008
n3:domaciTvurceVysledku
n17:3978834
n3:druhVysledku
n5:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
455531
n3:idVysledku
RIV/60460709:41110/07:19345
n3:jazykVysledku
n10:cze
n3:klicovaSlova
BORM (Business object relation modeling), Petri nets, PNSim, Transformation
n3:klicoveSlovo
n9:Transformation n9:PNSim n9:Petri%20nets n9:BORM%20%28Business%20object%20relation%20modeling%29
n3:kontrolniKodProRIV
[0CA2884D4217]
n3:mistoKonaniAkce
PEF CZU
n3:mistoVydani
Praha
n3:nazevEdiceCisloSvazku
Neuvedeno, 0
n3:nazevZdroje
Sborník příspěvků z doktorské vědecké konference THINK TOGETHER 2007
n3:obor
n19:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n12:GA402%2F06%2F1325
n3:rokUplatneniVysledku
n11:2007
n3:tvurceVysledku
Papík, Martin
n3:typAkce
n15:WRD
n3:zahajeniAkce
2007-02-13+01:00
s:numberOfPages
1
n20:hasPublisher
Česká zemědělská univerzita v Praze. Provozně ekonomická fakulta
n13:isbn
978-80-213-1623-2
n21:organizacniJednotka
41110