Sciweavers

941 search results - page 120 / 189
» Haskell-Coloured Petri Nets
Sort
View
ATAL
2008
Springer
13 years 11 months ago
Petri net plans: a formal model for representation and execution of multi-robot plans
Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pi...
BIOSTEC
2008
13 years 11 months ago
Describing Cryptobiosis as a Time Based Protection System Using Petri Nets
Bengt Carlsson, K. Ingemar Jönsson, Keith L. ...