Přístupnostní navigace
E-application
Search Search Close
Publication detail
CARUANA, E. ČEŠKA, M. SKLENÁŘ, J.
Original Title
Petri Nets and their Use in Modelling of Manufacturing Systems
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
Petri Nets offer an efficient graphical language for the modelling and the performance analysis of complex systems, which involve concurrent systems and resource sharing. Generalised Stochastic Petri Nets are an important class of time-extended Petri Nets that may be efficiently implemented for the performance analysis of such communicating systems. The subject of this study is a complex beverage-line manufacturing system. The investigation starts by pinpointing some major results in this field and then illustrates their implementation in the constructive performance analysis of the system under study.
Keywords
Petri Nets, Modelling of Manufacturing Systems, System Verification. Markov Chain
Authors
CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J.
RIV year
2004
Released
11. 9. 2002
Location
Ostrava
ISBN
80-85988-77-1
Book
ASIS 2002 - Advanced Simulation of System
Pages from
17
Pages to
28
Pages count
12
BibTex
@inproceedings{BUT10052, author="Etiene {Caruana} and Milan {Češka} and Jaroslav {Sklenář}", title="Petri Nets and their Use in Modelling of Manufacturing Systems", booktitle="ASIS 2002 - Advanced Simulation of System", year="2002", pages="17--28", address="Ostrava", isbn="80-85988-77-1" }