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

MaRDI QIDQ3369933zbMATH OpenFDO

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

Publication date 6 February 2006

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)

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

Cited in

(8)

• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 1946731 (Why is no real title available?)
• Research on the particular subclass of a class coloured Petri nets
• Strategies for modeling complex processes using colored Petri nets
• scientific article; zbMATH DE number 1686283 (Why is no real title available?)
• The practitioner's guide to coloured Petri nets.
• scientific article; zbMATH DE number 2087594 (Why is no real title available?)

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)