Joint Proceedings of the 5th International Workshop on
Logics, Agents, and Mobility (LAM'12),
the 1st International Workshop on Petri Net-based Security (WooPS'12), and
the 2nd International Workshop on Petri Nets Compositions (CompoNet'12).
* Dept. of Telematics, University of Freiburg Germany
Department of Computer Science, University of Illinois, Chicago, USA
*** Fondazione Bruno Kessler, Center for Information Technology, Security and Trust