id:"swepub:oai:research.chalmers.se:3e694b8d-dfef-47a4-9f73-0da1f39fb6af"
Search: id:"swepub:oai:research.chalmers.se:3e694b8d-dfef-47a4-9f73-0da1f39fb6af" > Modeling and Specif...
- 1 of 1
- Previous record
- Next record
- To hitlist
Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets
-
- Falkman, Petter, 1972 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Tittus, Michael, 1963 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- ISBN 0780367367
- 2001
- 2001
- English.
- In: Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 08-12, 2001. - 2159-6255. - 0780367367 ; 2, s. 1011-1016
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- A modeling framework for general routing and resource booking problems is presented. The task is to specify desired routes for individual objects (products, data packets, vehicles), which are to be served by a number of shared resources (machines, computers, communication links). Based on simple booking models for the resources and routing specifications for the objects, a controller that synchronizes the objects utilization of the available resources is automatically generated.A high level language is presented in order to simplify the specification of desired routes. This modeling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative and synchronization, which are applied in order to model join and split operations. Multiple as well as alternative resources are easily specified utilizing sets of resources. These sets and operators imply a very compact and efficient representation of complex routing specifications. In fact, the representation is suitable for verification and synthesis based on symbolic tools such as BDDs.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- discrete event systems
- Petri nets
- routing specifications
- process algebra
- resource booking
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
- Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 0... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Falkman, Petter, ...
- Lennartson, Beng ...
- Tittus, Michael, ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Proceedings 2001 ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- 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 - National Library Systems
- LIBRIS.kb.se
