A case study on coloured Petri nets in object-oriented analysis and design

zbMATH Open1087.68064MaRDI QIDQ3369933FDOQ3369933

Authors: João Paulo Barros, Jens Bæk Jørgensen 

Publication date: 6 February 2006

Recommendations

• scientific article; zbMATH DE number 1686283
• Applications and Theory of Petri Nets 2004
• The practitioner's guide to coloured Petri nets.
• From coloured Petri nets to object Petri nets
• Integrated Formal Methods

zbMATH Keywords

model transformationrequirements engineeringexecutable use cases

Mathematics Subject Classification ID

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

Cited In (8)

• Applications and Theory of Petri Nets 2004
• Title not available (Why is that?)
• Title not available (Why is that?)
• Research on the particular subclass of a class coloured Petri nets
• Strategies for modeling complex processes using colored Petri nets
• Title not available (Why is that?)
• The practitioner's guide to coloured Petri nets.
• Title not available (Why is that?)

This page was built for publication: A case study on coloured Petri nets in object-oriented analysis and design

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