Detail výsledku
Petri Nets and their Use in Modelling of Manufacturing Systems
CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Petri Nets and their Use in Modelling of Manufacturing Systems. ASIS 2002 - Advanced Simulation of System. Ostrava: Marq software s.r.o., 2002. p. 17-28. ISBN: 80-85988-77-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt
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.
Klíčová slova
Petri Nets, Modelling of Manufacturing Systems, System Verification. Markov Chain
Rok
2002
Strany
17–28
Sborník
ASIS 2002 - Advanced Simulation of System
Konference
24th International Autumn Colloquium Advanced Simulation of Systems ASIS 2002
ISBN
80-85988-77-1
Vydavatel
Marq software s.r.o.
Místo
Ostrava
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",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-85988-77-1"
}
Projekty
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Pracoviště