For the most recent entries see the Petri Nets Newsletter.

DEMON - Design Methods Based on Nets: An ESPRIT Basic Research Action (No. 3148).

Best, Eike; de Cindio, Fiorella; Hopkins, Richard

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.

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

Back to the Petri Nets Bibliography