Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets

摘要

The concept of mobile agents imposes a great security risk for information systems. In this paper we propose object nets as a specification formalism for multi-agent systems. Since the general formalism is Turing-powerful not every analysis method that is common for Petri net can be applied. So, we define the subclass of "ordinary" object nets that allows for the application of standard P/T-net techniques, i.e. the computation of boundedness, liveness etc.