Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: L773:2378 5861 OR L773:0743 1619 OR L773:9781424474264 OR L773:9781424474271 > Combined Process Al...

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		02263naa a2200325 4500
001		oai:research.chalmers.se:6cc82c29-1c06-42ac-a90a-8891a4d03a6f
003		SwePub
008		171008s2001 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
020		a 0780364953
024	7	a https://research.chalmers.se/publication/150182 URI
040		a (SwePub)cth
041		a engb eng
042		9 SwePub
072	7	a kon2 swepub-publicationtype
072	7	a ref2 swepub-contenttype
100	1	a Falkman, Petter,d 1972u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)pf
245	1 0	a Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems
264	1	c 2001
520		a 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.
650	7	a NATURVETENSKAPx Data- och informationsvetenskap0 (SwePub)1022 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciences0 (SwePub)1022 hsv//eng
653		a discrete event systems
653		a resource booking
653		a routing specifications
653		a Petri nets
653		a process algebra
700	1	a Lennartson, Bengt,d 1956u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)l
710	2	a Chalmers tekniska högskola4 org
773	0	t American Control Conferenceg 6, s. 4949-4955q 6<4949-4955x 0743-1619z 0780364953
856	4 8	u https://research.chalmers.se/publication/15018

Hitta via bibliotek

American Control Conference (Sök värdpublikationen i LIBRIS)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Falkman, Petter, ...; Lennartson, Beng ...

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...

Artiklar i publikationen: American Control ...

Av lärosätet: Chalmers tekniska högskola

Sök utanför SwePub

Sök vidare i:: Google; 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.

LIBRIS.kb.se