Search: onr:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89" >
Modelling large-sca...
-
Malik, R.University of Waikato
(author)
Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata
- Article/chapterEnglish2011
Publisher, publication year, extent ...
-
2011
-
electronicrdacarrier
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89
-
ISBN:9783902661937
-
https://research.chalmers.se/publication/165580URI
-
https://doi.org/10.3182/20110828-6-IT-1002.00593DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:kon swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian
(author)
-
Åkesson, Knut,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)knut
(author)
-
University of WaikatoChalmers tekniska högskola
(creator_code:org_t)
Related titles
-
In:IFAC Proceedings Volumes (IFAC-PapersOnline)18:PART 1, s. 7000-70051474-66709783902661937
Internet link
Find in a library
To the university's database