Publication detail

Petri Nets and their Use in Modelling of Manufacturing Systems

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

Original Title

Petri Nets and their Use in Modelling of Manufacturing Systems

English Title

Petri Nets and their Use in Modelling of Manufacturing Systems

Type

conference paper

Language

en

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.

English 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

RIV year

2004

Released

11.09.2002

Location

Ostrava

ISBN

80-85988-77-1

Book

ASIS 2002 - Advanced Simulation of System

Pages from

17

Pages to

28

Pages count

12

Documents

BibTex


@inproceedings{BUT10052,
  author="Etiene {Caruana} and Milan {Češka} and Jaroslav {Sklenář}",
  title="Petri Nets and their Use in Modelling of Manufacturing Systems",
  annote="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.",
  booktitle="ASIS 2002 - Advanced Simulation of System",
  chapter="10052",
  year="2002",
  month="september",
  pages="17--28",
  type="conference paper"
}