Skip to search formSkip to main contentSkip to account menu

TAPAAL

TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
C++Computation tree logicComputer simulationFormal verification

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2020
Review
2020
Dependency graphs with applications to verification
Dependency graphs, as introduced more than 20 years ago by Liu and Smolka, are oriented graphs with hyperedges that connect nodes… 
2018
2018
Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on… 
2017
2017
Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets
Event-driven Process Chain (EPC) is a known business process modeling language which is primarily renowned for efficient modeling… 
2015
2015
A tool for automatic formal modeling of railway interlocking systems
This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from… 
2014
2014
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
State-space explosion is a major obstacle in verification of time-critical distributed systems. An important factor with a… 
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)