Conference paper

Č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.
Publication language:english
Original title:Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts
Pages:371-377
Proceedings:Proceedings of XXIst International Colloquium ASIS 1999
Conference:21st International Workshop on Advanced Simulation of Systems ASIS'99
Place:Krnov, Czech Republic, CZ
Year:1999
ISBN:80-85988-41-0
URL:http://www.fit.vutbr.cz/~urbasek/Publikace/asis99.ps.gz [PS]
Keywords
Categories, Petri nets, Bisimulation relations, CCS, Parallel systems
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.
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. 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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6532}
}

Your IPv4 address: 54.166.150.10
Switch to IPv6 connection

DNSSEC [dnssec]