A Petri-net approach to refining object behavioural specifications

zbMATH Open1192.68446MaRDI QIDQ5320799FDOQ5320799

Authors: K. S. Cheung, Paul Chow 

Publication date: 22 July 2009

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

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)

Cited In (7)

• Title not available (Why is that?)
• Comparing concepts of object Petri net formalisms
• A Petri Net Based Modeling of Active Objects and Futures
• Hierarchical Petri nets based software requirement refinement for Web service
• Title not available (Why is that?)
• Methods for behavior descriptions of structure-complex Petri nets
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

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)