For the most recent entries see the Petri Nets Newsletter.

A Framework for Developing and Analyzing Software Architecture Specifications in SAM.

He, Xudong; Deng, Y.

In: The Computer Journal, vol.45, no.1, pages 111-128. 2002.

Abstract: This paper continues research on the stubborn set method that constructs on-the-fly a reduced LTS that is CFFD-equivalent to the parallel composition of given LTSs. In particular, minimization of the number of successor states of a given state is reconsidered. The earlier suggested and/or-graph approach requires solving

Keywords: LTSs; stubborn sets; and/or-graphs; approximability in optimization and counting.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography