Publication Details

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

ČEŠKA Milan and URBÁŠEK Milan. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic, 1999, pp. 371-377. ISBN 80-85988-41-0.
Type
conference paper
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Urbášek Milan, Ing. (DCSE FEECS BUT)
URL
Keywords

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

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.

Annotation

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. There exist a huge class of systems, whose behaviour may be defined as Petri nets and/or as CCS. Although both concepts are widely used for parallel applications in modelling, there is a difference how these models are used later in simulation and analysis of such systems. The first idea of both abstractions is to describe parallel systems; the analysis methods based on these ideas followed different paths. It sounds very promising to bring both theories together as far as possible, and to exploit advantages of both theories in order to get more detailed description of concurrent applications.

Published
1999
Pages
371-377
Proceedings
Proceedings of XXIst International Colloquium ASIS 1999
Conference
21st International Workshop on Advanced Simulation of Systems ASIS'99, Krnov, CZ
ISBN
80-85988-41-0
Place
Krnov, Czech Republic, CZ
BibTeX
@INPROCEEDINGS{FITPUB6532,
   author = "Milan \v{C}e\v{s}ka and Milan Urb\'{a}\v{s}ek",
   title = "Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts",
   pages = "371--377",
   booktitle = "Proceedings of XXIst International Colloquium ASIS 1999",
   year = 1999,
   location = "Krnov, Czech Republic, CZ",
   ISBN = "80-85988-41-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6532"
}
Back to top