Publication result detail

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

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

Original Title

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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

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

Released

01.01.1999

Publisher

Marq software s.r.o.

Location

Krnov, Czech Republic

ISBN

80-85988-41-0

Book

Proceedings of XXIst International Colloquium ASIS 1999

Pages from

371

Pages to

377

Pages count

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