On the Step Explosion Problem

DOI10.1007/11767589_19zbMath1234.68307OpenAlexW1500651161MaRDI QIDQ3618713

Stephan Roch, Karsten Schmidt

Publication date: 2 April 2009

Published in: Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11767589_19

zbMATH Keywords

resetprioritiespartial order reductionstep semanticsinhibitorystate space explorationreadsignal arcs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: On the Step Explosion Problem