LTL model checking probabilistic Petri net system

被引：0
|
作者：
Liu, Yang [1 ,2 ,3 ]
Miao, Huaikou [1 ,2 ]
机构：
[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
[2] Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 200072, China
[3] School of Information Science and Technology, Taishan University, Taian Shandong 271021, China
来源：
International Journal of Advancements in Computing Technology | 2012年 / 4卷 / 01期
关键词：
D O I：
10.4156/ijact.vol4.issue1.19
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：172 / 178
相关论文
共 50 条
  • [1] LTL model checking for modular Petri nets
    Latvala, T
    Mäkelä, M
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 298 - 311
  • [2] PCTL* Stochastic Model Checking Label-Extended Probabilistic Petri Net System Model
    Liu, Yang
    [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 287 - 290
  • [3] Measuring Progress of Probabilistic LTL Model Checking
    Cormie-Bowins, Elise
    van Breugel, Franck
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (85): : 33 - 47
  • [4] Model checking LTL using net unforldings
    Wallner, F
    [J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 207 - 218
  • [5] Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings
    Madalinski, Agnes
    Khomenko, Victor
    [J]. 2010 CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL'10), 2010, : 398 - 403
  • [6] Counterexamples in Probabilistic LTL Model Checking for Markov Chains
    Schmalz, Matthias
    Varacca, Daniele
    Voelzer, Hagen
    [J]. CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 587 - +
  • [7] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    [J]. Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [8] An optimal automata approach to LTL model checking of probabilistic systems
    Couvreur, JM
    Saheb, N
    Sutre, G
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 361 - 375
  • [9] A Petri net model for probabilistic logic
    Lin, C
    Wu, YT
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1996, 11 (12) : 1099 - 1114
  • [10] The Petri net twist in explicit model checking
    Karsten Wolf
    [J]. Software & Systems Modeling, 2015, 14 : 711 - 717
12345