A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1. pages 323-330, IEEE, 2013. [doi]

This author has not been identified. Look up 'Patrice Carle' in GoogleThis author has not been identified. Look up 'Christine Choppy' in GoogleThis author has not been identified. Look up 'Romain Kervarc' in GoogleThis author has not been identified. Look up 'Ariane Piel' in Google

runs on WebDSL