Sciweavers

26 search results - page 2 / 6
» fuin 2002
Sort
View
FUIN
2002
113views more  FUIN 2002»
13 years 4 months ago
Cellular Automata and Intermediate Reachability Problems
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
Klaus Sutner
FUIN
2002
87views more  FUIN 2002»
13 years 4 months ago
On the Injectivity of the Parikh Matrix Mapping
In this paper we investigate the injectivity of the Parikh matrix mapping. This research is done mainly on the binary alphabet. We identify a family of binary words, refered to as...
Adrian Atanasiu, Carlos Martín-Vide, Alexan...
FUIN
2002
94views more  FUIN 2002»
13 years 4 months ago
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
Hanna Klaudel, Franck Pommereau
FUIN
2002
107views more  FUIN 2002»
13 years 4 months ago
Comparing Refinements for Failure and Bisimulation Semantics
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
Rik Eshuis, Maarten M. Fokkinga
FUIN
2002
92views more  FUIN 2002»
13 years 4 months ago
Real Time Control for Autonomous Mobile Robots
Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls ar...
Hans-Dieter Burkhard