The Petri net twist in explicit model checking

Software & Systems Modeling ◽

10.1007/s10270-014-0422-4 ◽

2014 ◽

Vol 14 (2) ◽

pp. 711-717 ◽

Author(s):

Karsten Wolf

Keyword(s):

Model Checking ◽

Petri Net ◽

Download Full-text

How Petri Net Theory Serves Petri Net Model Checking: A Survey

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_2 ◽

2019 ◽

pp. 36-63

Author(s):

Karsten Wolf

Keyword(s):

Model Checking ◽

Download Full-text

Model checking workflow net based on Petri net

Wuhan University Journal of Natural Sciences ◽

10.1007/bf02829255 ◽

2006 ◽

Vol 11 (5) ◽

pp. 1297-1301 ◽

Author(s):

Zhou Conghua ◽

Chen Zhenyu

Keyword(s):

Model Checking ◽

Petri Net ◽

Download Full-text

Is there a best büchi automaton for explicit model checking?

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632377 ◽

2014 ◽

Author(s):

František Blahoudek ◽

Alexandre Duret-Lutz ◽

Mojmír Křetínský ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Explicit Model ◽

Büchi Automaton

Download Full-text

Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings

2010 Conference on Control and Fault-Tolerant Systems (SysTol) ◽

10.1109/systol.2010.5676089 ◽

2010 ◽

Author(s):

Agnes Madalinski ◽

Victor Khomenko

Keyword(s):

Model Checking ◽

Download Full-text

Petri net based model checking for the collaborative-ness of multiple processes systems

2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC) ◽

10.1109/icnsc.2016.7478980 ◽

2016 ◽

Author(s):

Guanjun Liu ◽

Changjun Jiang

Keyword(s):

Model Checking ◽

Petri Net ◽

Multiple Processes

Download Full-text

A formal approach for modeling and verification of bus bridge based on Petri Net and model checking

2010 3rd International Conference on Computer Science and Information Technology ◽

10.1109/iccsit.2010.5565021 ◽

2010 ◽

Author(s):

Guoyin Zhang ◽

Ming Liu ◽

Aihong Yao

Keyword(s):

Model Checking ◽

Petri Net ◽

Formal Approach

Download Full-text

PCTL∗ stochastic model checking label-extended probabilistic Petri net system model

2014 IEEE 5th International Conference on Software Engineering and Service Science ◽

10.1109/icsess.2014.6933565 ◽

2014 ◽

Author(s):

Yang Liu

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Petri Net ◽

System Model ◽

Stochastic Model Checking

Download Full-text

High-Level Petri Net Model Checking with AlPiNA

Fundamenta Informaticae ◽

10.3233/fi-2011-608 ◽

2011 ◽

Vol 113 (3-4) ◽

pp. 229-264 ◽

Author(s):

Steve Hostettler ◽

Alexis Marechal ◽

Alban Linard ◽

Matteo Risoldi ◽

Didier Buchs

Keyword(s):

Model Checking ◽

Petri Net ◽

Download Full-text

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24953-7_10 ◽

2015 ◽

pp. 131-147 ◽

Author(s):

Arnd Hartmanns ◽

Holger Hermanns

Keyword(s):

Model Checking ◽

Explicit Model ◽

Secondary Storage

Download Full-text

Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order

10.1109/tase52547.2021.00033 ◽

2021 ◽

Author(s):

Leifeng He ◽

Guanjun Liu

Keyword(s):

Model Checking ◽

Petri Net ◽

Download Full-text