Model checking in object-oriented Petri nets

被引：0
|
作者：
Rodrigues, CL [1 ]
Guerrero, DDS [1 ]
de Figueiredo, JCA [1 ]
机构：
[1] Univ Fed Campina Grande, Formal Methods Grp, Campina Grande, PB, Brazil
来源：
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年
关键词：
model checking; object-oriented Petri nets; computation tree logic;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present model checking techniques for verifying an object oriented Petri net modeling language (RPOO). Our intention is turn the application of model checking on model-based software development more feasible. In order that, we provide means of specifying objects properties regardless Petri nets details. We use Petri nets semantics just to construct the models state space. We present our algorithms to evaluate properties expressed in branching-time temporal logic CTL. We deal with explicit representation of state space emphasizing its 00 features. Besides, we remark the results of some applications of our model checker.
引用
收藏
页码：4977 / 4982
页数：6
相关论文
共 50 条
  • [1] Improvements in model checking for Object-Oriented Petri Nets
    Hasa, L
    Ceska, M
    [J]. ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 3, PROCEEDINGS, 2004, : 269 - 274
  • [2] Partial-order reduction in model checking object-oriented Petri nets
    Ceska, M
    Hasa, L
    Vojnar, T
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003, 2003, 2809 : 265 - 278
  • [3] THE STUDY OF A FMS MODEL BASED ON OBJECT-ORIENTED PETRI NETS
    Liu, Quansheng
    Sun, Xiaoyan
    Ding, Songlin
    [J]. PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 934 - 939
  • [4] Object-oriented Petri nets, their simulation, and analysis
    Ceska, M
    Janousek, V
    Vojnar, T
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 262 - 267
  • [5] Constraint programming with object-oriented Petri nets
    Sanders, MJ
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
  • [6] Object-oriented Petri nets, their simulation, and analysis
    Ceska, M
    Janousek, V
    Vojnar, T
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 256 - 261
  • [7] Application of object-oriented Petri nets to industrial electronics
    Miyamoto, Toshiyuki
    Kumagai, Sadatoshi
    [J]. IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 64 - 69
  • [8] On the use of coloured Petri nets for object-oriented design
    Barros, JP
    Gomes, L
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
  • [9] Research on the Integration of Object-oriented Petri Nets and QUEST
    Wei, Bisheng
    Ye, Wenhua
    Liu, Xia
    [J]. ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION III, PTS 1 AND 2, 2012, 201-202 : 143 - 146
  • [10] Application of Petri-Nets in Object-Oriented Environment
    Bedok, David
    [J]. 2016 17TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI 2016), 2016, : 117 - 122
12345