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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2020
Review
2020
Dependency graphs, as introduced more than 20 years ago by Liu and Smolka, are oriented graphs with hyperedges that connect nodes… 
2018
2018
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on… 
2017
2017
Event-driven Process Chain (EPC) is a known business process modeling language which is primarily renowned for efficient modeling…