Unifying Patterns for Modelling Timed Relationships in Systems and Properties

Étienne André, Laure Petrucci. Unifying Patterns for Modelling Timed Relationships in Systems and Properties. In Daniel Moldt, Heiko Rölke, Harald Störrle, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. Volume 1372 of CEUR Workshop Proceedings, pages 25-40, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.