首页> 美国政府科技报告 >How to Calculate Symbolically Siphons and Traps for Some Algebraic Petri Nets

【24h】

How to Calculate Symbolically Siphons and Traps for Some Algebraic Petri Nets

机译：如何计算一些代数petri网的符号虹吸和陷阱

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a symbolic approach to the calculation of siphons and traps foralgebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols.

著录项

作者
Schmidt, K.;
展开▼
作者单位

展开▼
年度 1996
页码 p.1-45
总页数 45
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Petri nets; Algebra; Structural analysis; Computations; Theorems;

机译：petri网;代数;结构分析;计算;定理;

相似文献

外文文献
中文文献
专利

1. Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants [J] . Satoshi TAOKA, Katsushi TAKANO, Toshimasa WATANABE IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 2002,第11期

机译：Petri网的最小虹吸陷阱的提取及其在计算非负整数不变中的应用
2. An algorithm for extracting minimal siphon-traps of Petri nets and its application to P-invariant computation [J] . Katsushi Takano, Satoshi Taoka, Toshimasa Watanabe 電子情報通信学会技術研究報告. コンカレント工学. Concurrent System Technology . 2001,第212期

机译：Petri网最小虹吸陷阱的提取算法及其在P不变性计算中的应用
3. An algorithm for extracting minimal siphon-traps of Petri nets and its application to P-invariant computation [J] . Katsushi Takano, Satoshi Taoka, Toshimasa Watanabe 電子情報通信学会技術研究報告. コンカレント工学. Concurrent System Technology . 2001,第212期

机译：一种提取Petri网最小虹吸陷阱的算法及其在P-不变计算中的应用
4. A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets [C] . Faten Nabli, Frangois Fages, Thierry Martinez, International conference on principles and practice of constraint programming . 2012

机译：枚举Petri网中最小虹吸和陷阱的布尔模型
5. Comparison of encoding schemes for symbolic model checking of bounded petri nets. [D] . Arora, Nishtha. 2010

机译：有界Petri网的符号模型检查的编码方案比较。
6. Sulcation of the intraparietal sulcus is related to symbolic but not non-symbolic number skills [O] . M. Roell, A. Cachia, A.A. Matejko, 2021

机译：心肺沟的渗漏与象征性但不是非符号数技能有关
7. Modelling Manufacturing System Controller-based Siphon Petri Nets [O] . Mowafak Hassan Abdul-Hussin 2020

机译：基于模拟制造系统控制器的SIPHON Petri网

How to Calculate Symbolically Siphons and Traps for Some Algebraic Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅