For the most recent entries see the Petri Nets Newsletter.

Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).

Best, Eike

In: ESPRIT'90. Proceedings of the Annual ESPRIT Conference, 1990, Brussels, Belgium, pages 791-803. Dordrecht, Netherlands: Kluwer, 1990.

Abstract: In order to ensure the correct and efficient functioning of concurrent systems, effective formal reasoning is indispensable during their design. This action proposes to undertake foundational work needed for the eventual development of an effective design calculus for concurrent systems based on net theory. The paper describes a small selection of the results obtained in the project so far.

Keywords: structure (and) behaviour (of)concurrent system; Demon; design methods (based on nets).

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

Back to the Petri Nets Bibliography