Sökning: L773:2378 5861 OR L773:0743 1619 OR L773:9781424474264 OR L773:9781424474271 >
Combined Process Al...
-
Falkman, Petter,1972Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems
- Artikel/kapitelEngelska2001
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:6cc82c29-1c06-42ac-a90a-8891a4d03a6f
-
ISBN:0780364953
-
https://research.chalmers.se/publication/15018URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:kon swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
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). 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 sequences, alternative choices, arbitrary ordered sequences and process synchronization. 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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Lennartson, Bengt,1956Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)l
(författare)
-
Chalmers tekniska högskola
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:American Control Conference6, s. 4949-49550743-16190780364953
Internetlänk
Hitta via bibliotek
Till lärosätets databas