ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 1
Author(s):
Julia Padberg
◽
Alexander Schulz
Keyword(s):
Model Checking
◽
Petri Nets
Download Full-text
Related Documents
Cited By
References
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
◽
Petri Nets
◽
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
◽
Cited By ~ 6
Author(s):
Karsten Strehl
◽
Lothar Thiele
Keyword(s):
Model Checking
◽
Petri Nets
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Diagram Techniques
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
◽
Cited By ~ 17
Author(s):
Bernard Berthomieu
◽
Florent Peres
◽
François Vernadat
Keyword(s):
Model Checking
◽
Petri Nets
◽
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
◽
Petri Nets
◽
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
◽
Cited By ~ 9
Author(s):
Timo Latvala
Keyword(s):
Model Checking
◽
Petri Nets
◽
Fairness Constraints
◽
High Level
Download Full-text
Model Checking Control Flow Petri Nets Using PAT
2013 13th International Conference on Computational Science and Its Applications
◽
10.1109/iccsa.2013.26
◽
2013
◽
Cited By ~ 2
Author(s):
Ho T. Dung
◽
Bui H. Thang
◽
Quan T. Tho
Keyword(s):
Model Checking
◽
Petri Nets
◽
Control Flow
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
◽
Petri Nets
◽
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
◽
Cited By ~ 10
Author(s):
Stefan Edelkamp
◽
Shahid Jabbar
Keyword(s):
Model Checking
◽
Petri Nets
◽
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
◽
Cited By ~ 20
Author(s):
Wojciech Penczek
◽
Agata Półrola
Keyword(s):
Model Checking
◽
Petri Nets
◽
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
◽
Cited By ~ 9
Author(s):
S. Klein
◽
Xiying Weng
◽
G. Frey
◽
J.-J. Lesage
◽
L. Litz
Keyword(s):
Model Checking
◽
Petri Nets
◽
Controller Design
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close