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

DOI10.1007/3-540-61363-3_14zbMATH Open1418.68041OpenAlexW1578080784MaRDI QIDQ4633166FDOQ4633166

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Verifying UCM specifications of distributed systems using colored Petri nets

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)