A mathematical model for system design and refinement

DOI10.1080/00207169008803860MaRDI QIDQ3477975zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Petri net refinement and its application in system design
• Structure and behavior preservation by Petri-net-based refinements in system design
• Petri nets modeling and analysis method based on the refinement operation
• scientific article; zbMATH DE number 4049068
• Refining and verifying regular Petri nets

Cites work

• scientific article; zbMATH DE number 3825184 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• A calculus of communicating systems
• A method for stepwise refinement and abstraction of Petri nets

Cited in

(6)

• Petri nets modeling and analysis method based on the refinement operation
• scientific article; zbMATH DE number 4049068 (Why is no real title available?)
• Modeling and analysis of the behavior of information systems
• Structure and behavior preservation by Petri-net-based refinements in system design
• Petri net refinement and its application in system design
• Mathematical model of a human operator for system development of onboard algorithmic and displayed support for the functioning of an anthropocentric object

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477975)