Petri nets with causal time for system verification. - Cécile Bui Thanh; Hanna Klaudel; Franck Pommereau (MTCS, 2002)

Object-Oriented Modelling with High-Level Modular Petri Nets. - Cécile Bui Thanh; Hanna Klaudel (IFM, 2004)