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

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

Namespace Prefixes

PrefixIRI
n22http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n5http://purl.org/net/nknouf/ns/bibtex#
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n21http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F09%3APU86230%21RIV10-MSM-26230___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F09%3APU86230%21RIV10-MSM-26230___
rdf:type
n12:Vysledek skos:Concept
dcterms:description
Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system). Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).
dcterms:title
Simulation Based Design of Control Systems Using DEVS and Petri Nets Simulation Based Design of Control Systems Using DEVS and Petri Nets
skos:prefLabel
Simulation Based Design of Control Systems Using DEVS and Petri Nets Simulation Based Design of Control Systems Using DEVS and Petri Nets
skos:notation
RIV/00216305:26230/09:PU86230!RIV10-MSM-26230___
n3:aktivita
n11:Z n11:P
n3:aktivity
P(GA102/07/0322), P(GP102/07/P306), Z(MSM0021630528)
n3:dodaniDat
n20:2010
n3:domaciTvurceVysledku
n4:9374035 n4:9829237
n3:druhVysledku
n17:D
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n21:predkladatel
n3:idSjednocenehoVysledku
341286
n3:idVysledku
RIV/00216305:26230/09:PU86230
n3:jazykVysledku
n18:eng
n3:klicovaSlova
DEVS, Object Oriented Petri Nets, simulation, modelling, system design
n3:klicoveSlovo
n7:system%20design n7:DEVS n7:modelling n7:simulation n7:Object%20Oriented%20Petri%20Nets
n3:kontrolniKodProRIV
[A918C0E0A4A9]
n3:mistoKonaniAkce
Las Palmas de Gran Canaria, Canary Islands
n3:mistoVydani
Berlin
n3:nazevZdroje
Computer Aided Systems Theory - EUROCAST 2009
n3:obor
n14:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n6:GA102%2F07%2F0322 n6:GP102%2F07%2FP306
n3:rokUplatneniVysledku
n20:2009
n3:tvurceVysledku
Kočí, Radek Janoušek, Vladimír
n3:typAkce
n22:WRD
n3:zahajeniAkce
2009-02-15+01:00
n3:zamer
n16:MSM0021630528
s:numberOfPages
8
n5:hasPublisher
Springer-Verlag
n19:isbn
978-3-642-04771-8
n13:organizacniJednotka
26230