Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.):
Transactions on Petri Nets and Other Models of Concurrency III.
Lecture Notes in Computer Science 5800 Springer 2009, ISBN 978-3-642-04854-8
Charles Lakos:
Modelling Mobile IP with Mobile Petri Nets.
127-158
Xian Xu:
On Bisimulation Theory in Linear Higher-Order pi-Calculus.
244-274