Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata
Paper i proceeding, 2011

This paper describes the instantiation features currently implemented in the discrete-event systems modelling and analysis tool Supremica. Modules enable users to design reusable groups of related automata and define clear interfaces to describe their interaction. Parametrisation and repetition make it easy to design very large models of regular structure. In combination with its support for extended finite-state automata (EFA), these features enable Supremica users to develop highly complex models of discrete-event systems using a wide variety of modelling styles.

Petri Nets and other tools

Automata

Discrete event systems modelling and control

Författare

R. Malik

University of Waikato

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 18 PART 1 7000-7005
978-390266193-7 (ISBN)

Ämneskategorier

Data- och informationsvetenskap

DOI

10.3182/20110828-6-IT-1002.00593

ISBN

978-390266193-7

Mer information

Skapat

2017-10-07