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