Sökning: id:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89" >
Modelling large-sca...
Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata
-
- Malik, R. (författare)
- University of Waikato
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783902661937
- 2011
- 2011
- Engelska.
-
Ingår i: IFAC Proceedings Volumes (IFAC-PapersOnline). - 1474-6670. - 9783902661937 ; 18:PART 1, s. 7000-7005
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Petri Nets and other tools
- Automata
- Discrete event systems modelling and control
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas