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

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

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216275%3A25530%2F08%3A00007193%21RIV09-MSM-25530___/
n17http://localhost/temp/predkladatel/
n13http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n3http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
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#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216275%3A25530%2F08%3A00007193%21RIV09-MSM-25530___
rdf:type
n3:Vysledek skos:Concept
dcterms:description
Petriho sítě poskytují vhodný formalismus pro popis řídící a komunikační logiky interních komponentů agentů v rámci agentově orientovaných architektur simulačních modelů využívajících paradigma zasílání zpráv. Zmíněná forma popisu přispívá k vysoké flexibilitě simulačních modelů, jakož i k možnosti provádět formální analýzu vybraných komponentů těchto modelů. ABAsim architektura simulačních modelů (jako příklad agentové architektury) až dosud využívala P/T Petriho sítě pro popis interních komponentů agentů. Představený modifikovaný přístup se věnuje aplikaci nehierarchické barvené Petriho sítě (určené k popisu pravidel chování autonomních agentů) místo P/T Petriho sítě z důvodu uplatnění vyšších modelovacích možností. Petri nets represent a convenient formalism for description of the operational logic of internal agent components within agent-based architectures of simulation models using message-oriented communication paradigm. The approach supports higher flexibility of simulation models as well as formal analysis related to relevant parts of the models. The ABAsim architecture (as an example) already utilizes place/transition Petri nets for description of internal components of agents. Presented modified approach pays attention to an application of non-hierarchical coloured Petri nets (describing behavioural rules of autonomous agents) instead of place/transition ones because of higher modelling capabilities. Petri nets represent a convenient formalism for description of the operational logic of internal agent components within agent-based architectures of simulation models using message-oriented communication paradigm. The approach supports higher flexibility of simulation models as well as formal analysis related to relevant parts of the models. The ABAsim architecture (as an example) already utilizes place/transition Petri nets for description of internal components of agents. Presented modified approach pays attention to an application of non-hierarchical coloured Petri nets (describing behavioural rules of autonomous agents) instead of place/transition ones because of higher modelling capabilities.
dcterms:title
Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture Aplikace barvených Petriho sítí pro popis řídících a komunikačních funkcí agentů v rámci ABAsim architektury
skos:prefLabel
Aplikace barvených Petriho sítí pro popis řídících a komunikačních funkcí agentů v rámci ABAsim architektury Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture
skos:notation
RIV/00216275:25530/08:00007193!RIV09-MSM-25530___
n4:aktivita
n6:Z
n4:aktivity
Z(MSM0021627505)
n4:dodaniDat
n8:2009
n4:domaciTvurceVysledku
n18:6082297 n18:3022277
n4:druhVysledku
n20:D
n4:duvernostUdaju
n9:S
n4:entitaPredkladatele
n15:predkladatel
n4:idSjednocenehoVysledku
356713
n4:idVysledku
RIV/00216275:25530/08:00007193
n4:jazykVysledku
n19:eng
n4:klicovaSlova
Coloured Petri net; agent-based simulation; message-oriented communication
n4:klicoveSlovo
n7:Coloured%20Petri%20net n7:agent-based%20simulation n7:message-oriented%20communication
n4:kontrolniKodProRIV
[C41F56F4FF51]
n4:mistoKonaniAkce
Aarhus, Denmark
n4:mistoVydani
Aarhus
n4:nazevZdroje
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
n4:obor
n14:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:rokUplatneniVysledku
n8:2008
n4:tvurceVysledku
Žarnay, Michal Kavička, Antonín
n4:typAkce
n5:EUR
n4:zahajeniAkce
2008-10-20+02:00
n4:zamer
n10:MSM0021627505
s:issn
0105-8517
s:numberOfPages
16
n13:hasPublisher
University of Aarhus
n17:organizacniJednotka
25530