×
杰雷米·查洛平；维克托·切波伊

1-安全Petri网和特殊立方体复合体。等效性和应用。 （英语） Zbl 1433.68243号

ACM事务处理。计算。日志。 第20条第3款第17条第49页（2019年）.

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑

关键词：

1-安全Petri网；MSO逻辑；无上下文图；中值图；CAT（0）立方体复合体；特殊立方体复合体；追踪规则事件结构；展开；通用盖

引文：

Zbl 0452.68067号；Zbl 1308.68085号
PDF格式BibTeX公司 XML格式引用
\textit{J.Chalopin}和\textit{V.Chepoi}，ACM Trans。计算。日志。20，第3号，第17条，49页（2019年；Zbl 1433.68243）
全文： 内政部 arXiv公司