TY  - JOUR
AU  - Rosa Velardo, Fernando
AU  - Frutos Escrig, David de
AU  - Marroquín Alonso, Olga
PY  - 2007
DO  - 10.1016/j.entcs.2005.05.048
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/50565
T2  - Electronic Notes in Theoretical Computer Science
AB  - In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a collection of (possibly mobile) hardware devices and mobile agents, both...
LA  - eng
M2  - 77
PB  - Elsevier
KW  - Mobility
KW  - Petri nets
KW  - security
KW  - expressiveness
TI  - On the Expressiveness of Mobile Synchronizing Petri Nets
TY  - journal article
VL  - 180
ER  -