A mathematical model for system design and refinement

DOI10.1080/00207169008803860zbMath0699.68084OpenAlexW2013017584MaRDI QIDQ3477975

Vijay Varadharakan

Publication date: 1990

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169008803860

zbMATH Keywords

Petri netsrefinementsystem designliveness and safenesstop-down design analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99)

Cites Work

• A method for stepwise refinement and abstraction of Petri nets
• A calculus of communicating systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A mathematical model for system design and refinement