Technical Annex for the ESPRIT Basic Research Action 3148. Design Methods Basedon Nets (DEMON)

摘要

In order to ensure the correct and efficient functioning of concurrent systems,effective formal reasoning is indispensable during their design. Suitable formalisms must properly describe concurrency and provide appropriate means (structuring techniques, algebra, proof rules) in order to facilitate such reasoning. Petri net theory is amongst the most mature formalisms capable of describing concurrency. 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 envisaged calculus would comprise structuring techniques, algebras, proof rules, appropriate notions of equivalence and implementation, and analysis techniques. (Copyright (c) 1990 GMD.)