Sciweavers

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