For the most recent entries see the Petri Nets Newsletter.

A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen).

Heiner, M.; Mertke, T.; Deusen, P.

In: 01, BTU Cottbus, ISSN 1437-7969: Computer Science Reports 09, pages 65-pp. Mai 2001. In German.


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

Back to the Petri Nets Bibliography