Sciweavers

Share
CONCUR
1999
Springer

An Unfolding Algorithm for Synchronous Products of Transition Systems

9 years 8 months ago
An Unfolding Algorithm for Synchronous Products of Transition Systems
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]. An unfolding procedure is provided which exploits the product structure of the model. Its performance is evaluated on a set of benchmarks.
Javier Esparza, Stefan Römer
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CONCUR
Authors Javier Esparza, Stefan Römer
Comments (0)
books