For the most recent entries see the Petri Nets Newsletter.

A Method and a Tool for the Validation of SDL-Diagrams.

Graubmann, P.; Rudolph, E.

The Second SDL Users and Implementors Forum, Helsinki 1985, 1985.

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

Back to the Petri Nets Bibliography