For the most recent entries see the Petri Nets Newsletter.

Using CS-PN Software for Protocol Specification, Validation and Evaluation.

Zenie, A.; Luguern, J.P.

In: Fourth Int. Workshop on Software Specification and Design, Monterey, USA, pages 257-264. IEEE Computer Society Press, 1987.


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

Back to the Petri Nets Bibliography