In: Bulletin of the European Association for Theoretical Computer Science EATCS, No. 41, pages 87-103. June 1990.
Abstract: The authors describe a research programme addressing a spectrum of important concurrency-theoretic issues focused on enabling a formal reasoning framework, a ``design calculus'', for engineering (specification, design, implementation, verification and analysis) of extensive concurrent and decentralised systems. The programme's basis is the Petri net model. The Programme's research themes are an instance of general needs in developing any kind of desighn calculus.
Keywords: DEMON, design methods (based on nets); concurrency theory; design calculus (for) engineering.