For the most recent entries see the Petri Nets Newsletter.

Specifying Software Architectural Connectors in SAM.

He, Xudong; Deng, Yi

In: International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 4, pages 411-431. 2000.

Keywords: Software Architecture, formal methods, 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