1. Software Technology for the 1990's: Using a New Paradigm;Balzer;IEEE Computer,1983
2. A Graphical Tool for the Design and Prototyping of Distributed Systems;Dähler;ACM SIGSOFT Software Engineering Notes,1987
3. Complexity Measures for the Analysis of Specifications of (Reliability Related) Computer Systems;Ebert,1991
4. Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets;Ebert,1992
5. The Use of Petri Nets in Requirements and Functional Specification;Maiocchi,1985