Article
Concurrency in Mobile Object Net Systems.
Fundam. Inform
01/2003;
54:221-235.
pp.221-235
Source: DBLP
-
Citations (0)
- Cited In (2)
-
Article: Decidability problems for object Petri nets
-
Article: Reachable markings of object Petri nets
[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.
