For the most recent entries see the Petri Nets Newsletter.

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

He, Xudong; Deng, Yi

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

Keywords: software architecture; Petri nets; temporal logic.

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

Back to the Petri Nets Bibliography