Detail publikačního výsledku

Petri Nets and their Use in Modelling of Manufacturing Systems

CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J.

Originální název

Petri Nets and their Use in Modelling of Manufacturing Systems

Anglický název

Petri Nets and their Use in Modelling of Manufacturing Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

Petri Nets, Modelling of Manufacturing Systems, System Verification. Markov Chain

Autoři

CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J.

Rok RIV

2011

Vydáno

11.09.2002

Nakladatel

Marq software s.r.o.

Místo

Ostrava

ISBN

80-85988-77-1

Kniha

ASIS 2002 - Advanced Simulation of System

Strany od

17

Strany do

28

Strany počet

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-77-1"
}