Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings

@inproceedings{Madalinski2011PredictabilityVW,
  title={Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings},
  author={Agnes Madalinski and Victor Khomenko},
  year={2011}
}
Abstract We show that the predictability problem for a Petri net can be reduced to LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved. 

Citations

Publications citing this paper.
SHOWING 1-6 OF 6 CITATIONS

Transactions on Petri Nets and Other Models of Concurrency IX

  • Lecture Notes in Computer Science
  • 2014
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Probability of current state and future faults with partially observed stochastic Petri nets

  • 2014 European Control Conference (ECC)
  • 2014
VIEW 13 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Fault Diagnosis and Prognosis With Partially Observed Petri Nets

  • IEEE Transactions on Systems, Man, and Cybernetics: Systems
  • 2014
VIEW 1 EXCERPT
CITES BACKGROUND

A Canonical Contraction for Safe Petri Nets

VIEW 1 EXCERPT
CITES BACKGROUND

Distributed Bounded Predictability

  • 2013 32nd International Conference of the Chilean Computer Science Society (SCCC)
  • 2013
VIEW 1 EXCERPT
CITES METHODS

State estimation and fault prediction with partially observed Petri nets

  • 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
  • 2013
VIEW 3 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Unfoldings - A Partial-Order Approach to Model Checking

  • Monographs in Theoretical Computer Science. An EATCS Series
  • 2008
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

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

  • 2010 Conference on Control and Fault-Tolerant Systems (SysTol)
  • 2010
VIEW 2 EXCERPTS

, I . Rivera - Rangel , and E . López - Mellado . Online Fault Diagnosis of Discrete Event Systems . A Petri Net - Based Approach

R. Sengupta Sampath, S. Lafortune, K. Sinnamo-hideen, D. Teneketzis
  • IEEE Trans . on Automation Science and Engineering
  • 2007

Similar Papers

Loading similar papers…