原创力文档- 8
- 0
- 约4.73万字
- 约 15页
- 2017-07-24 发布于湖北
- 举报
High undecidability of weak bisimilarity for Petri
nets
Petr Jan~ar *
Dept. of Computer Science, University of Ostrava
Dvo~s 7, 701 03 Ostrava, Czech Republic
e-mail: jancar@oudec.osu.cz
A b s t r a c t
It is shown that the problem whether two labelled place/transition Petri nets (with
initial markings) are weakly bisimilar i
您可能关注的文档
- Guided Merging of Sequence Diagrams：引导序列图的合并.pdf
- H2 receptor antagonists and anaesthesia：H2受体拮抗剂和麻醉.pdf
- Herrnstein’s equation for the rates of responding during concurrent schedules：伯恩斯坦的响应率的方程在并发时间表.pdf
- How to Design an User Interface Based on Gestures：如何设计一个用户界面基于手势.pdf
- Hybrid CPUGPU Acceleration of Detection of 2-SNP Epistatic Interactions in GWAS：混合CPUGPU加速度检测2-SNP GWAS上位相互作用.pdf
- Hybrid interpretation of induction results：混合的解释归纳结果.pdf
- Identification of the Virtual Organization Breeding Environment Based on the Cooperation Network：识别的基于合作网络虚拟组织繁殖环境.pdf
- Identifying and Prioritizing Human Capital Measurement Indicators for Personnel Selection Using Fuzzy MADM：人员识别和优先考虑人力资本度量指标选择使用模糊MADM.pdf
- Impact of Weather Conditions on Fingerprinting Localization Based on IEEE 802.11a：天气条件影响指纹定位基于IEEE 802.11.pdf
- Implicit memory of dynamic information：内隐记忆的动态信息.pdf
- 食品卫生培训试题及答案.docx
- 食品厂员工食品安全与质量管理培训试题集答案.docx
- 食品加工操作工技能选拔试题及答案.docx
- 食品加工与储运试题及答案.docx
- IEC 614422023 额定电压6kV（Um=7.2kV）至36kV（Um=42kV）电力电缆附件的试验方法标准立项发展报告.docx
- 2026来宾市第八中学公开招聘编外教师5人笔试参考题库及答案解析.docx
- 2026西安碑林红缨医院招聘笔试备考试题及答案解析.docx
- 2026上海市虹口区江湾医院公开招聘 16名中、高级卫生专业技术人员笔试模拟试题及答案解析.docx
- 2026年安徽省人力资源有限公司招聘驻点国有企业新媒体编辑岗人员笔试参考题库及答案解析.docx
- 2026内蒙古赤峰市妇幼保健院招聘控制数专业技术人员40人考试备考试题及答案解析.docx
文档评论（0）