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