In: Formal Methods for Open Object-Based Distributed Systems, pages 51-66. 1999.
Abstract: A model, arising as a combination of the nature of the name managing techniques of the pi-calculus with the natural representation of concurrency and locality of Petri nets, is presented. The paper explores the suitability for the proposed model to represent concurrent systems with ad evolving structure by means of the hurried Russian philosophers case study, as extension of the dining philosophers with dynamic reconfiguration features and multiple levels of activity.
Keywords: Russian philosophers, hurried philosophers, mobile Petri nets.