. "Categories; Petri nets; Bisimulation relations; CCS; Parallel systems"@en . . "7"^^ . "Proceedings of XXIst International Colloquium ASIS 1999" . "MARQ Ostrava, CZ" . . "Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts" . . "Urb\u00E1\u0161ek, Milan" . "Le\u0161ka, Milan" . . . "Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts"@en . . "RIV/00216305:26220/99:43801042" . "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."@en . "80-85988-41-0" . . "746180" . "Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts" . "P(GA102/98/0552), Z(MSM 262200012)" . "Urb\u00E1\u0161ek, Milan" . "RIV/00216305:26220/99:43801042!RIV/2000/MSM/262200" . "26220" . . "[099C5D6D12E0]" . . "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." . . "Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts"@en . "Le\u0161ka, Milan" . . "Krnov, Czech Republic" . . "2"^^ . . "2"^^ . . . . . "371" .