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.

• Type: Conference
• Year: 1999
• Where: CONCUR
• Authors: Javier Esparza, Stefan Römer
• Keywords: CONCUR 1999, Distributed And Parallel Computing, Petri Nets, Unfolding Method, Unfolding Procedure