Sciweavers

22 search results - page 1 / 5
» Non-sequential Behaviour of Dynamic Nets
Sort
View
APN
2006
Springer
13 years 7 months ago
Non-sequential Behaviour of Dynamic Nets
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
Roberto Bruni, Hernán C. Melgratti
CEC
2009
IEEE
13 years 1 months ago
A multiple hormone approach to the homeostatic control of conflicting behaviours in an autonomous mobile robot
This work proposes a biologically inspired system for the coordination of multiple and possible conflicting behaviours in an autonomous mobile robot, devoted to explore novel scena...
Renan C. Moioli, Patrícia Amâncio Var...
IAJIT
2010
166views more  IAJIT 2010»
13 years 2 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
ICALP
2005
Springer
13 years 9 months ago
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
ACTA
2007
96views more  ACTA 2007»
13 years 3 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud