Abstract
The Esprit Basic Research Action DEMON (Design Methods Based on Nets) has been set up with the following aim [1]: 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
