About: Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
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 (en)
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 (en)
skos:notation	RIV/00216305:26220/99:43801042!RIV/2000/MSM/262200
http://linked.open.../vavai/riv/strany	371
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/98/0552), Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2000
http://linked.open...aciTvurceVysledku	Urbášek, Milan Leška, Milan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta elektrotechniky a komunikačních technologií
http://linked.open...dnocenehoVysledku	746180
http://linked.open...ai/riv/idVysledku	RIV/00216305:26220/99:43801042
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Categories; Petri nets; Bisimulation relations; CCS; Parallel systems (en)
http://linked.open.../riv/klicoveSlovo	Parallel systems CCS Bisimulation relations Petri nets Categories
http://linked.open...ontrolniKodProRIV	[099C5D6D12E0]
http://linked.open...i/riv/mistoVydani	Krnov, Czech Republic
http://linked.open...i/riv/nazevZdroje	Proceedings of XXIst International Colloquium ASIS 1999
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Research and applications of heterogenous models
http://linked.open...UplatneniVysledku	1999
http://linked.open...iv/tvurceVysledku	Urbášek, Milan Leška, Milan
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	7 (xsd:int)
http://purl.org/ne...btex#hasPublisher	MARQ Ostrava, CZ
https://schema.org/isbn	80-85988-41-0
http://localhost/t...ganizacniJednotka	26220

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software