曼内尔,丽莎·L·。;Wil M.P.范德阿尔斯特。 发现具有长期依赖性的流程模型,同时提供保证并过滤不常见的行为模式。 (英语) 兹伯利07801676 芬丹。通知。 190,编号2-4,109-158(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Mannel}和textit{W.M.P.van der Aalst},Fundam。通知。190,编号2--4,109-158(2024;Zbl 07801676) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队;特雷杜普,罗尼 关于使转换系统可由布尔网实现的技术的复杂性。 (英语) Zbl 07770061号 芬丹。通知。 189,编号3-4,261-296(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。189,编号3--4,261--296(2022;Zbl 07770061) 全文: 内政部 arXiv公司
彼得·扬查尔;瓦利舍克(Valůsh ek,Jiří) 即时观测Petri网的结构活性。 (英语) Zbl 07687253号 芬丹。通知。 188,编号3,179-215(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔}和\textit{J.瓦尔舍克},芬达姆。通知。188,编号3,179--215(2022;Zbl 07687253) 全文: 内政部 arXiv公司
沃伊切赫·梅西纳;米查尔·库考夫斯基 相变存储器上的自适应合并。 (英语) Zbl 07687251号 芬丹。通知。 188,编号2,103-126(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Macyna}和\textit{M.Kukowski},Fundam。通知。188,编号2,103-126(2022;Zbl 07687251) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队;特雷杜普,罗尼 支持Petri网综合的一些基本技术:复杂性和算法问题。 (英语) Zbl 07609825号 芬丹。通知。 187,编号2-4,167-196(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。187,编号2--4,167-196(2022;Zbl 07609825) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队;特雷杜普,罗尼 具有受限位置环境的纯和不纯Petri网的合成:复杂性问题。 (英语) Zbl 07609824号 芬丹。通知。 187,编号2-4,139-165(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。187,编号2--4,139-165(2022;Zbl 07609824) 全文: 内政部 arXiv公司
西尔万·伦巴第;雅克·萨卡洛维奇 加权自动机的形态和最小化。 (英语) Zbl 07597933号 芬丹。通知。 186,编号1-4195-218(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lombardy}和\textit{J.Sakarovitch},Fundam。通知。186,编号1--4,195-218(2022;Zbl 07597933) 全文: 内政部 arXiv公司
伊琳娜·洛马佐娃(Irina A.Lomazova)。;弗拉基米尔·巴什金。;彼得·扬查尔 Petri网中的资源二相似性是可判定的。 (英语) Zbl 07597932号 芬丹。通知。 186,编号1-4175-194(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova}等人,Fundam。通知。186,编号1--4,175-194(2022;Zbl 07597932) 全文: 内政部 arXiv公司
安娜·卡伦科娃;乔塞普·卡莫纳;Polyvyany,Artem公司;马塞洛·拉罗莎 使用基于状态的区域理论自动修复具有非局部约束的过程模型。 (英语) Zbl 1522.68365号 芬丹。通知。 183,编号3-4,293-317(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kalenkova}等人,Fundam。通知。183,编号3--4,293--317(2021;Zbl 1522.68365) 全文: 内政部 arXiv公司
特雷杜普,罗尼 有界Petri网综合的复杂性。 (英语) Zbl 1522.68372号 芬丹。通知。 183,编号1-2,125-167(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.特雷杜普},芬丹。通知。183,编号1--2,125-167(2021;Zbl 1522.68372) 全文: 内政部 arXiv公司
阿兰·芬克尔;谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基 递归Petri网中的可覆盖性、终止性和有限性。 (英语) Zbl 1522.68362号 芬丹。通知。 183,编号1-2,33-66(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人,Fundam。通知。183,编号1--2,33-66(2021;Zbl 1522.68362) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队 过渡系统的联接和乘积及其在Petri网综合中的应用。 (英语) Zbl 1522.68360号 芬丹。通知。 183,编号1-2,1-31(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},芬丹。通知。183,编号1--2,1--31(2021;Zbl 1522.68360) 全文: 内政部 arXiv公司
阮,越南;巴泰文Pham;是的,潘顺 置换图和梯形图中最大诱导匹配问题的有效算法。 (英语) Zbl 1522.68416号 芬丹。通知。 182,第3期,257-283(2021).MSC公司:68兰特 05C70号 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{V.D.Nguyen}等人,Fundam。通知。182,编号3,257--283(2021;Zbl 1522.68416) 全文: 内政部 arXiv公司
Jin、Yu;宋博生;李燕燕;朱莹 使用带活性膜的P系统解决独立集问题的无时间解决方案。 (英语) Zbl 1522.68213号 芬丹。通知。 182,第3号,243-255(2021).MSC公司:2007年第68季度 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jin}等人,Fundam。通知。182,第3号,243--255(2021;Zbl 1522.68213) 全文: 内政部 arXiv公司
罗伯托·戈里埃里 具有无声移动的BPP网络的因果语义。 (英语) Zbl 1496.68224号 芬丹。通知。 180,第3号,179-249(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri},芬丹。通知。180,编号3,179--249(2021;Zbl 1496.68224) 全文: 内政部
比安卡·特鲁特 使用子区域选择语言的上下文语法的生成能力。 (英语) Zbl 1519.68115号 芬丹。通知。 180,编号1-2,123-150(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Truthe},芬达姆。通知。180,编号1--2,123-150(2021;Zbl 1519.68115) 全文: 内政部
科伊夫卡、兹比恩克;亚历山大·梅杜纳 具有一个非上下文无关生成的分散上下文语法在计算上是完整的。 (英语) Zbl 1519.68110号 芬丹。通知。 179,编号4,361-384(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Křivka}和\textit{A.Meduna},Fundam。通知。179,编号4,361--384(2021;Zbl 1519.68110) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321-344(2021;兹bl 1519.68156) 全文: 内政部 arXiv公司
罗伯托·巴布蒂;帕斯奎尔·博韦;罗伯塔·戈里;大马士革格鲁斯卡;弗朗西丝卡·列维;保罗·米拉佐 将阈值布尔网络编码到反应系统中,用于分析基因调控网络。 (英语) Zbl 1519.68084号 芬丹。通知。 179,编号2,205-225(2021).MSC公司:2007年第68季度 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Fundam。通知。179,编号2,205--225(2021;Zbl 1519.68084) 全文: 内政部
简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 持续随机无干扰。 (英语) Zbl 1519.68163号 芬丹。通知。 181,编号1,1-35(2021).MSC公司:68问题85 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人,Fundam。通知。181,编号1,1-35(2021;Zbl 1519.68163) 全文: 内政部
安蒂·瓦尔马里;沃尔特·福格勒 顽固的设置,冻结的行动,公平的测试。 (英语) Zbl 1478.68182号 芬丹。通知。 178,编号1-2,139-172(2021).MSC公司:60年第68季度 06A07年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{W.Vogler},Fundam。通知。178,编号1--2,139-172(2021;Zbl 1478.68182) 全文: 内政部
里扎德·贾尼基;乌卡斯·米库尔斯基 步迹和区间迹的代数结构。 (英语) Zbl 1497.68345号 芬丹。通知。 175,编号1-4,253-280(2020).MSC公司:68问题85 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{Ł.Mikulski},Fundam。通知。175,编号1--4,253--280(2020;Zbl 1497.68345) 全文: 内政部
德塞尔,约格;马克·芬塔默 Petri网的停止变换。 (英语) Zbl 1497.68334号 芬丹。通知。 175,编号1-4,143-172(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{M.Finthammer},Fundam。通知。175,编号1--4,143-172(2020;Zbl 1497.68334) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 目标导向Petri网合成。 (英语) Zbl 1497.68327号 芬丹。通知。 175,编号1-4,97-122(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Fundam。通知。175,编号1--4,97-122(2020;Zbl 1497.68327) 全文: 内政部
Wil M.P.范德阿尔斯特。;亚历山德罗·贝尔蒂 发现以对象为中心的Petri网。 (英语) Zbl 1497.68354号 芬丹。通知。 175,编号1-4,1-40(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}和\textit{A.Berti},Fundam。通知。175,编号1--4,1--40(2020;Zbl 1497.68354) 全文: 内政部 arXiv公司
刘、柳城;易文美;杨倩;彭,洪;王军 具有计算函数阈值的小型通用数值P系统。 (英语) Zbl 1497.68196号 芬丹。通知。 176,编号1,43-59(2020).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,Fundam。通知。176,编号1,43-59(2020;Zbl 1497.68196) 全文: 内政部
伊贡博格尔;克劳斯·迪特·施韦 递归算法的行为理论。 (英语) Zbl 1497.68552号 芬丹。通知。 177,第1期,1-37页(2020年).MSC公司:68周01 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe},Fundam。通知。177,编号1,1-37(2020;Zbl 1497.68552) 全文: 内政部 arXiv公司