Conference paper

CARUANA Etienne, ČEŠKA Milan and SKLENÁŘ Jaroslav. Petri Nets and their Use in Modelling of Manufacturing Systems. In: ASIS 2002 - Advanced Simulation of System. Ostrava, 2002, pp. 17-28. ISBN 80-85988-77-1.
Publication language:english
Original title:Petri Nets and their Use in Modelling of Manufacturing Systems
Title (cs):Petriho sítě a jejich využití v modelování výrobních systémů
Pages:17-28
Proceedings:ASIS 2002 - Advanced Simulation of System
Conference:24th International Autumn Colloquium Advanced Simulation of Systems ASIS 2002
Place:Ostrava, CZ
Year:2002
ISBN:80-85988-77-1
Keywords
Petri Nets, Modelling of Manufacturing Systems, System Verification. Markov Chain
Annotation
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.
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.
BibTeX:
@INPROCEEDINGS{
   author = {Etienne Caruana and Milan {\v{C}}e{\v{s}}ka and Jaroslav
	Sklen{\'{a}}{\v{r}}},
   title = {Petri Nets and their Use in Modelling of Manufacturing
	Systems},
   pages = {17--28},
   booktitle = {ASIS 2002 - Advanced Simulation of System},
   year = {2002},
   location = {Ostrava, CZ},
   ISBN = {80-85988-77-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6974}
}

Your IPv4 address: 54.167.250.64
Switch to IPv6 connection

DNSSEC [dnssec]