This HTML5 document contains 43 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/
n14http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n5http://linked.opendata.cz/resource/domain/vavai/projekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
n12https://schema.org/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26220%2F99%3A43801042%21RIV%2F2000%2FMSM%2F262200/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26220%2F99%3A43801042%21RIV%2F2000%2FMSM%2F262200
rdf:type
skos:Concept n13:Vysledek
dcterms:description
The main aim of this contribution is to point on major concepts in modelling, simulation and analysis of parallel systems when Petri nets and process algebras of Milner's type, denoted CCS, are used. The main aim of this contribution is to point on major concepts in modelling, simulation and analysis of parallel systems when Petri nets and process algebras of Milner's type, denoted CCS, are used.
dcterms:title
Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts
skos:prefLabel
Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts
skos:notation
RIV/00216305:26220/99:43801042!RIV/2000/MSM/262200
n4:strany
371
n4:aktivita
n18:P n18:Z
n4:aktivity
P(GA102/98/0552), Z(MSM 262200012)
n4:dodaniDat
n17:2000
n4:domaciTvurceVysledku
Urbášek, Milan Leška, Milan
n4:druhVysledku
n11:D
n4:duvernostUdaju
n20:S
n4:entitaPredkladatele
n8:predkladatel
n4:idSjednocenehoVysledku
746180
n4:idVysledku
RIV/00216305:26220/99:43801042
n4:jazykVysledku
n16:eng
n4:klicovaSlova
Categories; Petri nets; Bisimulation relations; CCS; Parallel systems
n4:klicoveSlovo
n9:Parallel%20systems n9:Categories n9:Bisimulation%20relations n9:Petri%20nets n9:CCS
n4:kontrolniKodProRIV
[099C5D6D12E0]
n4:mistoVydani
Krnov, Czech Republic
n4:nazevZdroje
Proceedings of XXIst International Colloquium ASIS 1999
n4:obor
n15:JC
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:projekt
n5:GA102%2F98%2F0552
n4:rokUplatneniVysledku
n17:1999
n4:tvurceVysledku
Urbášek, Milan Leška, Milan
n4:zamer
n19:MSM%20262200012
s:numberOfPages
7
n7:hasPublisher
MARQ Ostrava, CZ
n12:isbn
80-85988-41-0
n14:organizacniJednotka
26220