Publication Details
Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts
Categories, Petri nets, Bisimulation relations, CCS, Parallel systems
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. 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.
@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"
}