Model checking Petri nets with MSVL
DOI10.1016/J.INS.2016.01.036zbMATH Open1427.68210OpenAlexW2275235874MaRDI QIDQ2279737FDOQ2279737
Authors: Ya Shi, Cong Tian, Zhenhua Duan, MengChu Zhou 
Publication date: 13 December 2019
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2016.01.036
Recommendations
- A CTL* Model Checker for Petri Nets
- Model checking reconfigurable Petri nets with Maude
- scientific article; zbMATH DE number 408787
- Applications and Theory of Petri Nets 2004
- Sequential and distributed model checking of Petri net specifications
- scientific article; zbMATH DE number 7438162
- Petri nets, traces, and local model checking
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- The complexity of propositional linear temporal logics
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Performance evaluation of Petri nets centralized implementation. The execution time controller
- Operational semantics of Framed Tempura
- Recent advances in unfolding technique
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Title not available (Why is that?)
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Expressiveness of propositional projection temporal logic with star
- A practical decision procedure for propositional projection temporal logic with infinite models
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets
- Observable liveness of Petri nets
- New search strategies for the Petri net CEGAR approach
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
Cited In (5)
- Translating Xd-C programs to MSVL programs
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
- Exploring the properties of MSC documents by translating them into Petri nets
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
- PPTL specification mining based on LNFG
Uses Software
This page was built for publication: Model checking Petri nets with MSVL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279737)
