Resumen de Local nets
Petri nets have been widely used to model and specify concurrent, distributed systems. However, they give no mean to reflect spatial distribution of resources.
In this work, an extension of P/T Petri nets is introduced in order to capture the concept of spatial distribution, specifying not only places and events but also how places are distributed in sites.
These new nets, called Local nets, are a very simple extension which is shown to be semantics respecting, and to support a methodology for the definition of systems.
Some theoretical results are given in order to establish the basis for a practical use of these nets for specification and verification, and the relation with previous existing models is also discussed.
