TAPAAL 2.2.0 Has New Open Source Engine

view story

http://news.softpedia.com – TAPAAL, a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University, is now at version 2.2.0. Highlights of TAPAAL 2.2.0: • A new TAPAAL engine called verifydtapn for discrete verification of closed nets has been added; • TAPAAL engine verifytapn has been updated; • Transition statistics that shows how many times transitions were enabled during the search; • Fully adjustable wo... (read more) (General)