Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,328,654 papers from all fields of science
Search
Sign In
Create Free Account
TAPAAL
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
C++
Computation tree logic
Computer simulation
Formal verification
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2020
Review
2020
Dependency graphs with applications to verification
Søren Enevoldsen
,
K. Larsen
,
Anders Mariegaard
,
Jiri Srba
International Journal on Software Tools for…
2020
Corpus ID: 219329039
Dependency graphs, as introduced more than 20 years ago by Liu and Smolka, are oriented graphs with hyperedges that connect nodes…
Expand
2018
2018
Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems
B. Aristyo
,
K. Pradityo
,
T. Tamba
,
Y. Y. Nazaruddin
,
A. Widyotriatmo
Annual Conference of the Society of Instrument…
2018
Corpus ID: 53013467
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on…
Expand
2017
2017
Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets
Anam Amjad
,
F. Azam
,
Muhammad Waseem Anwar
,
W. H. Butt
9th IEEE-GCC Conference and Exhibition (GCCCE)
2017
Corpus ID: 52152637
Event-driven Process Chain (EPC) is a known business process modeling language which is primarily renowned for efficient modeling…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE