The Reachability Problem for Object Nets
The Reachability Problem for Object Nets
复制标题
对象网络的可达性问题
作者：
M. Köhler
在本文中，我将证明基本对象网系统（EOS）的不可判定性结果。对象网是以Petri网作为标记的Petri网-一种称为“网中网”范式的方法。EOS是一种特殊的对象网系统，具有两级结构。
In this article I will prove undecidability results for elementary object net systems (EOS). Object nets are Petri nets which have Petri nets as tokens - an approach which is called the "netswithin-nets" paradigm. EOS are special object net systems which have a two leveled structure.