Detail výsledku

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

URBÁŠEK, M.; ČEŠKA, M. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic: Marq software s.r.o., 1999. p. 371-377. ISBN: 80-85988-41-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.
Abstrakt

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.

Klíčová slova

Categories, Petri nets, Bisimulation relations, CCS, Parallel systems

URL
Rok
1999
Strany
371–377
Sborník
Proceedings of XXIst International Colloquium ASIS 1999
Konference
21st International Workshop on Advanced Simulation of Systems ASIS'99
ISBN
80-85988-41-0
Vydavatel
Marq software s.r.o.
Místo
Krnov, Czech Republic
BibTeX 
@inproceedings{BUT191504,
  author="Milan {Urbášek} and Milan {Češka}",
  title="Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts",
  booktitle="Proceedings of XXIst International Colloquium ASIS 1999",
  year="1999",
  pages="371--377",
  publisher="Marq software s.r.o.",
  address="Krnov, Czech Republic",
  isbn="80-85988-41-0",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/asis99.ps.gz"
}
Projekty
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru