observation graphs
Recently Published Documents

TOTAL DOCUMENTS

3

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diagnosability of Petri nets with observation graphs

Discrete Event Dynamic Systems ◽

10.1007/s10626-014-0207-5 ◽

2015 ◽

Vol 26 (3) ◽

pp. 539-559 ◽

Cited By ~ 1

Author(s):

D. Lefebvre ◽

E. Leclercq

Keyword(s):

Petri Nets ◽

Observation Graphs

Download Full-text

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30793-5_5 ◽

2012 ◽

pp. 67-83 ◽

Cited By ~ 10

Author(s):

Kais Klai ◽

Jörg Desel

Keyword(s):

Business Processes ◽

Observation Graphs

Download Full-text

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68746-7_20 ◽

2008 ◽

pp. 288-306 ◽

Cited By ~ 14

Author(s):

Kais Klai ◽

Denis Poitrenaud

Keyword(s):

Model Checker ◽

Observation Graphs

Download Full-text