Sciweavers

941 search results - page 60 / 189
» Haskell-Coloured Petri Nets
Sort
View
MATES
2010
Springer
13 years 6 months ago
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach
Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...
TCSV
2010
13 years 3 months ago
Video Event Modeling and Recognition in Generalized Stochastic Petri Nets
Gal Lavee, Michael Rudzsky, Ehud Rivlin, Artyom Bo...