迈克尔·科勒-布·迈耶;弗兰克·海特曼 保守的基本对象系统。 （英语） Zbl 1278.68216号 芬丹。通知。 120，编号3-4，325-339（2012）. 这一贡献给出了基本对象系统（EOS）形式的可判定性结果。对象网是以Petri网作为标记的Petri网，这是一种称为网内网范式的方法。研究了可达性与活性问题的关系。已经证明，这两个问题对于EOS（甚至对于保守EOS的子类）都是不可判定的，而众所周知，对于经典p/t网，这两种问题都是可判定的。尽管有这些不可判定性结果，但对于保守EOS，可以使用类似于p/t网的单调性参数来确定有界性。审核人：Jörg Desel（哈根） MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;nets-within-nets;网络作为标记;可达性;活力;有界性;基本对象系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Köhler-Bußmeier}和\textit{F.Heitmann}，Fundam。通知。120，编号3--4325--339（2012；Zbl 1278.68216） 全文： 内政部