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… 
2019
2019
Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems
This research focuses on Timed-Arc Petri-nets-based agent communication in real-time multi-agent systems. The Agent Communication… 
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… 
2018
2018
Verification and Timing Analysis of Industry 4.0 Warehouse Automation Workflows
Industry 4.0 deployments involve machines, robots, Internet of Things, business processes and human participants coordinating in… 
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… 
2012
2012
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of… 
2009
2009
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
Timed-Arc Petri Nets (TAPN) is a well studied extension of the classical Petri net model where tokens are decorated with real… 
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)