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).
Back to the Petri Nets Bibliography