Extensions to the CEGAR Approach on Petri Nets

DOI10.14232/ACTACYB.21.3.2014.8zbMath1313.68080OpenAlexW2296663577WikidataQ57086294 ScholiaQ57086294MaRDI QIDQ2937547

Zoltán Mártonka, Ákos Hajdu, Tamás Bartha, András Vörös

Publication date: 9 January 2015

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.21.3.2014.8

zbMATH Keywords

Petri netsreachability analysisabstractionCEGAR

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

New Search Strategies for the Petri Net CEGAR Approach ⋮ Solving finite-linear-path CTL-formulas using the CEGAR approach

This page was built for publication: Extensions to the CEGAR Approach on Petri Nets