id:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89"
Sökning: id:"swepub:oai:research.chalmers.se:dd6b81f5-0b4f-400f-af85-85bbcce1af89" > Modelling large-sca...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Malik, R.University of Waikato (författare)
Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata
- Artikel/kapitelEngelska2011
Förlag, utgivningsår, omfång ...
- 2011
- electronicrdacarrier
Nummerbeteckningar
- 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
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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 och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- Petri Nets and other tools
- Automata
- Discrete event systems modelling and control
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian (författare)
- Åkesson, Knut,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)knut (författare)
- University of WaikatoChalmers tekniska högskola (creator_code:org_t)
Sammanhörande titlar
- Ingår i:IFAC Proceedings Volumes (IFAC-PapersOnline)18:PART 1, s. 7000-70051474-66709783902661937
Internetlänk
Hitta via bibliotek
- IFAC Proceedings Volumes (IFAC-PapersOnline) (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Malik, R.
- Fabian, Martin, ...
- Åkesson, Knut, 1 ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- IFAC Proceedings ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
