A mathematical model for system design and refinement

DOI10.1080/00207169008803860zbMATH Open0699.68084OpenAlexW2013017584MaRDI QIDQ3477975FDOQ3477975

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• A method for stepwise refinement and abstraction of Petri nets
• Title not available (Why is that?)

Cited In (6)

• Petri nets modeling and analysis method based on the refinement operation
• Title not available (Why is that?)
• 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)