Detail publikačního výsledku

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

URBÁŠEK, M.; ČEŠKA, M.

Originální název

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

URBÁŠEK, M.; ČEŠKA, M.

Vydáno

01.01.1999

Nakladatel

Marq software s.r.o.

Místo

Krnov, Czech Republic

ISBN

80-85988-41-0

Kniha

Proceedings of XXIst International Colloquium ASIS 1999

Strany od

371

Strany do

377

Strany počet

7

URL

http://www.fit.vutbr.cz/~urbasek/Publikace/asis99.ps.gz

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"
}