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

DOI10.1007/3-540-61363-3_14zbMath1418.68041OpenAlexW1578080784MaRDI QIDQ4633166

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)

Related Items (1)

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

Uses Software

• Design/CPN
• BETA

Cites Work

• Modelling and analysis of distributed program execution in BETA using coloured Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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