Concurrency in Mobile Object Net Systems.
Fundam. Inform 01/2003; 54:221-235. pp.221-235
[show abstract] [hide abstract]
ABSTRACT: In this article I will prove undecidability results for elemen-tary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the "nets-within-nets" paradigm. Eos are special object net system which have a two leveled structure.
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.