Life-cycle inheritance

DOI10.1007/3-540-63139-9_30MaRDI QIDQ6487369zbMATH OpenWikidataFDO

Authors W. M. P. van der Aalst, T. Basten

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-63139-9_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deciding life-cycle inheritance on Petri nets
• scientific article; zbMATH DE number 1686282
• Inheritance of behavior
• scientific article; zbMATH DE number 1755137
• The inheritance of PN-COOPN

Cites work

• Branching bisimilarity is an equivalence indeed!
• Branching time and abstraction in bisimulation semantics
• Free Choice Petri Nets
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 579921 (Why is no real title available?)
• scientific article; zbMATH DE number 604884 (Why is no real title available?)
• scientific article; zbMATH DE number 606833 (Why is no real title available?)
• Process Algebra

Cited in

(8)

• Solving inheritance anomaly with OMNets
• Reusing artifact-centric business process models: a behavioral consistent specialization approach
• scientific article; zbMATH DE number 1686282 (Why is no real title available?)
• scientific article; zbMATH DE number 2088781 (Why is no real title available?)
• Deciding life-cycle inheritance on Petri nets
• scientific article; zbMATH DE number 1755137 (Why is no real title available?)
• Inheritance of behavior
• Inheritance of workflows: An approach to tackling problems related to change

This page was built for publication: Life-cycle inheritance

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