Object-Oriented Modelling with High-Level Modular Petri Nets

Cécile Bui Thanh, Hanna Klaudel. Object-Oriented Modelling with High-Level Modular Petri Nets. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 287-306, Springer, 2004. [doi]

Authors

Cécile Bui Thanh

This author has not been identified. Look up 'Cécile Bui Thanh' in Google

Hanna Klaudel

This author has not been identified. Look up 'Hanna Klaudel' in Google