For the most recent entries see the Petri Nets Newsletter.

Mobile nets.

Busi, N.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography