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
dctermshttp://purl.org/dc/terms/
n3http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/ontology/domain/vavai/
n21http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F12%3APU101816%21RIV13-MSM-26230___/
n11http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://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#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F12%3APU101816%21RIV13-MSM-26230___
rdf:type
skos:Concept n6:Vysledek
rdfs:seeAlso
http://www.ceur-ws.org/Vol-851/paper19.pdf
dcterms:description
The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets. The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets.
dcterms:title
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
skos:prefLabel
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
skos:notation
RIV/00216305:26230/12:PU101816!RIV13-MSM-26230___
n6:predkladatel
n7:orjk%3A26230
n4:aktivita
n9:Z n9:S n9:P
n4:aktivity
P(ED1.1.00/02.0070), S, Z(MSM0021630528)
n4:cisloPeriodika
06
n4:dodaniDat
n19:2013
n4:domaciTvurceVysledku
n16:9829237 n16:9374035
n4:druhVysledku
n15:J
n4:duvernostUdaju
n13:S
n4:entitaPredkladatele
n21:predkladatel
n4:idSjednocenehoVysledku
150983
n4:idVysledku
RIV/00216305:26230/12:PU101816
n4:jazykVysledku
n17:eng
n4:klicovaSlova
modeling, Object oriented Petri nets, layered nets, system design
n4:klicoveSlovo
n12:modeling n12:layered%20nets n12:Object%20oriented%20Petri%20nets n12:system%20design
n4:kodStatuVydavatele
DE - Spolková republika Německo
n4:kontrolniKodProRIV
[4D57823C7C21]
n4:nazevZdroje
CEUR Workshop Proceedings
n4:obor
n14:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:projekt
n18:ED1.1.00%2F02.0070
n4:rokUplatneniVysledku
n19:2012
n4:svazekPeriodika
851
n4:tvurceVysledku
Janoušek, Vladimír Kočí, Radek
n4:zamer
n11:MSM0021630528
s:issn
1613-0073
s:numberOfPages
14
n3:organizacniJednotka
26230