Analysis and Verification Queries over Object-Oriented Petri Nets

机译：面向对象Petri网的分析和验证查询

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.

机译：在文献中，已经提出了许多不同的方式来询问形式分析或验证问题，以在各种模型的状态空间上进行回答。在本文中，我们讨论了当面向对象的Petri网（OOPN）为被检查的系统建模时，如何适应这些方法。我们处理与PNtalk语言和工具相关的OOPN。

著录项

来源
《8th International Workshop on Computer Aided Systems Theory, 8th, Feb 19-23, 2001, Las Palmas de Gran Canaria, Spain》|2001年|p.369-384|共16页
会议地点 Las Palmas de Gran Canaria(ES)
作者
Milan Ceska; Vladimir Janousek; Tomas Vojnar;
展开▼
作者单位

Department of Computer Science and Engineering, Brno University of Technology Bozetechova 2, CZ-612 66 Brno, Czech Republic;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Modelling, prototyping and verifying concurrent and distributed applications using object-oriented Petri nets [J] . Milan Ceska, Vladimir Janousek, Tomas Vojnar Kybernetes: The International Journal of Systems & Cybernetics . 2002,第9a10期

机译：使用面向对象的Petri网对并发和分布式应用程序进行建模，原型设计和验证
2. Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets [J] . Ming Dong, F.Frank Chen Robotics and Computer Integrated Manufacturing . 2001,第1a2期

机译：面向对象Petri网的制造供应链网络过程建模与分析
3. Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems: [J] . Zhenhua Yu, Fang Guo, Jie Ouyang, Advances in Mechanical Engineering . 2016,第11期

机译：面向对象的Petri网和基于π演算的可重构制造系统建模和分析：
4. Analysis and Verification Queries over Object-Oriented Petri Nets [C] . Milan Ceska, Vladimir Janousek, Tomas Vojnar International Workshop on Computer Aided Systems Theory . 2001

机译：对面向对象的Petri网进行分析和验证查询
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. MODELLING, PROTOTYPING, AND VERIFYING CONCURRENT AND DISTRIBUTED APPLICATIONS USING OBJECT-ORIENTED PETRI NETS [O] . Milan Ceska, et al. 2010

机译：使用面向对象的petri网建模，原型化和验证并发和分布式应用程序
8. Verification of Bounded Petri Nets Using Integer Programming [R] . Khomenko, V., Koutny, M. 2001

机译：用整数规划验证有界petri网

Analysis and Verification Queries over Object-Oriented Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅