A Petri Net Based Modeling of Active Objects and Futures

DOI10.3233/FI-2018-1663MaRDI QIDQ4643210zbMATH OpenWikidataFDO

Authors Mario Bravetti, Matias David Lee, Gianluigi Zavattaro, Frank S. de Boer

Publication date 24 May 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2018-1663

zbMATH Keywords

active objectsdeadlock analysisPetri nets

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 1799520
• scientific article; zbMATH DE number 2084347
• scientific article; zbMATH DE number 1686269
• scientific article; zbMATH DE number 2064227
• scientific article; zbMATH DE number 1686268
• A Petri-net approach to refining object behavioural specifications
• scientific article; zbMATH DE number 1755145
• scientific article; zbMATH DE number 1614643
• Lectures on Concurrency and Petri Nets

Cited in

(6)

• Petri-net-based deadlock analysis of process algebra programs
• Translating active objects into colored Petri nets for communication analysis
• Probabilistic software product lines
• A trace-based service semantics guaranteeing deadlock freedom
• scientific article; zbMATH DE number 7327953 (Why is no real title available?)
• Relating Session Types and Behavioural Contracts: The Asynchronous Case

This page was built for publication: A Petri Net Based Modeling of Active Objects and Futures

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