selected publications academic article Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents 2002 chapter Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. Lecture Notes in Computer Science. 2005