Model Checking Control Flow Petri Nets Using PAT

2013 13th International Conference on Computational Science and Its Applications ◽

10.1109/iccsa.2013.26 ◽

2013 ◽

Author(s):

Ho T. Dung ◽

Bui H. Thang ◽

Quan T. Tho

Keyword(s):

Model Checking ◽

Download Full-text

On-the-fly TCTL model checking for Time Petri Nets using state class graphs

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.18 ◽

2006 ◽

Author(s):

R. Hadjidj ◽

H. Boucheneb

Keyword(s):

Model Checking ◽

Time Petri Nets

Download Full-text

Interval diagram techniques for symbolic model checking of Petri nets

Proceedings of the conference on Design, automation and test in Europe - DATE '99 ◽

10.1145/307418.307452 ◽

1999 ◽

Author(s):

Karsten Strehl ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Diagram Techniques

Download Full-text

Model Checking Reconfigurable Petri Nets with Maude

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40530-8_4 ◽

2016 ◽

pp. 54-70 ◽

Author(s):

Julia Padberg ◽

Alexander Schulz

Keyword(s):

Model Checking ◽

Download Full-text

Model Checking Bounded Prioritized Time Petri Nets

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

10.1007/978-3-540-75596-8_37 ◽

2007 ◽

pp. 523-532 ◽

Author(s):

Bernard Berthomieu ◽

Florent Peres ◽

François Vernadat

Keyword(s):

Model Checking ◽

Time Petri Nets

Download Full-text

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2019edl8086 ◽

2020 ◽

Vol E103.D (3) ◽

pp. 702-705

Author(s):

Nao IGAWA ◽

Tomoyuki YOKOGAWA ◽

Sousuke AMASAKI ◽

Masafumi KONDO ◽

Yoichiro SATO ◽

...

Keyword(s):

Model Checking ◽

Symbolic Representation ◽

Bounded Model Checking ◽

Time Petri Nets ◽

Representation Of Time

Download Full-text

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

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

10.1007/3-540-45740-2_15 ◽

2001 ◽

pp. 242-262 ◽

Author(s):

Timo Latvala

Keyword(s):

Model Checking ◽

Fairness Constraints ◽

Download Full-text

Towards TCTLhΔ model checking of time Petri nets

2016 International Conference on Control, Decision and Information Technologies (CoDIT) ◽

10.1109/codit.2016.7593624 ◽

2016 ◽

Author(s):

Ameni Chtourou ◽

Zohra Sbai

Keyword(s):

Model Checking ◽

Time Petri Nets

Download Full-text

Action Planning for Directed Model Checking of Petri Nets

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.07.023 ◽

2006 ◽

Vol 149 (2) ◽

pp. 3-18 ◽

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Action Planning ◽

Directed Model Checking

Download Full-text

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

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

10.1007/978-3-540-27793-4_4 ◽

2004 ◽

pp. 37-76 ◽

Author(s):

Wojciech Penczek ◽

Agata Półrola

Keyword(s):

Model Checking ◽

Timed Automata ◽

Time Petri Nets ◽

Temporal Properties

Download Full-text

Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking

Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301) ◽

10.1109/acc.2002.1024579 ◽

2002 ◽

Author(s):

S. Klein ◽

Xiying Weng ◽

G. Frey ◽

J.-J. Lesage ◽

L. Litz

Keyword(s):

Model Checking ◽

Controller Design

Download Full-text