CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

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

R. Malik ; Martin Fabian (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation)
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011 (1474-6670). Vol. 18 (2011), p. 7000-7005.
[Konferensbidrag, refereegranskat]

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.

Nyckelord: Automata, Discrete event systems modelling and control, Petri Nets and other tools



Denna post skapades 2012-11-06. Senast ändrad 2016-02-01.
CPL Pubid: 165580

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur