Modelling and analysis of distributed program execution in BETA using coloured Petri nets

DOI10.1007/3-540-61363-3_14MaRDI QIDQ4633166zbMATH OpenOpenAlexFDO

Authors Jens Bæk Jørgensen, Kjeld Høyer Mortensen

Publication date 2 May 2019

Published in Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61363-3_14

zbMATH Keywords

verificationsystem designcase studieshigher-level net modelscomputer tools for netsapplication of nets to protocols

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4028914
• The practitioner's guide to coloured Petri nets.
• scientific article; zbMATH DE number 1049168
• scientific article; zbMATH DE number 1686283
• Integrated Formal Methods

Cites work

• scientific article; zbMATH DE number 3906496 (Why is no real title available?)
• scientific article; zbMATH DE number 52160 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 578226 (Why is no real title available?)
• Modelling and analysis of distributed program execution in BETA using coloured Petri nets

Cited in

(3)

• Modelling and analysis of distributed program execution in BETA using coloured Petri nets
• Verifying UCM specifications of distributed systems using colored Petri nets
• scientific article; zbMATH DE number 4170070 (Why is no real title available?)

Describes a project that uses

Uses Software

• Design/CPN
• BETA

This page was built for publication: Modelling and analysis of distributed program execution in BETA using coloured Petri nets

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