Name
Abstract | ||
|---|---|---|
A modelling framework for general routing and resource allocation systems 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 modelling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative, synchronization, start and stop process, and restriction, which are applied in order to model join and split operations. This language results in a compact and efficient representation of complex routing specifications. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1016/j.conengprac.2009.03.006 | Control Engineering Practice |
Keywords | Field | DocType |
high level languages,indexing terms,high level language,process algebra,petri net,resource allocation,petri nets | Synchronization,Control theory,Petri net,Computer science,Network packet,High-level programming language,Resource allocation,Operator (computer programming),Process calculus,Distributed computing | Conference |
Volume | Issue | ISSN |
17 | 9 | Control Engineering Practice |
ISBN | Citations | PageRank |
0-7803-9425-9 | 2 | 0.48 |
References | Authors | |
6 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Petter Falkman | 1 | 46 | 10.37 |
| Bengt Lennartson | 2 | 934 | 118.87 |
| Michael Tittus | 3 | 5 | 1.75 |