A Petri-net approach to refining object behavioural specifications

MaRDI QIDQ5320799zbMATH OpenFDO

Authors K. S. Cheung, Paul Chow

Publication date 22 July 2009

zbMATH Keywords

object-oriented system design

Mathematics Subject Classification ID

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

Recommendations

• Applications and Theory of Petri Nets 2004
• Integrated Formal Methods
• From coloured Petri nets to object Petri nets
• Structure and behavior preservation by Petri-net-based refinements in system design
• Petri net refinement and its application in system design

Cited in

(7)

• scientific article; zbMATH DE number 1686288 (Why is no real title available?)
• Comparing concepts of object Petri net formalisms
• Hierarchical Petri nets based software requirement refinement for Web service
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen
• A Petri Net Based Modeling of Active Objects and Futures
• scientific article; zbMATH DE number 1569129 (Why is no real title available?)
• Methods for behavior descriptions of structure-complex Petri nets

This page was built for publication: A Petri-net approach to refining object behavioural specifications

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