A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.

Patrice Carle Christine Choppy Romain Kervarc Ariane Piel

Published in: APSEC (1) (2013)

Keyphrases

event detection
petri net
petri net model
false positives
false alarms
detection method
object detection
detection rate
detection algorithm
service composition
detection accuracy
linear programming
face detection
information systems
formal model
soccer video
real time