Distributed Monitoring of Temporal System Properties Using Petri Nets.

Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy

Browse the full SRDS paper archive.