Integrating TwoTowers and GreatSPN through a compact net semantics

DOI10.1016/S0166-5316(02)00104-9MaRDI QIDQ4788445zbMATH OpenOpenAlexFDO

Authors Marco Bernardo, Nadia Busi, Marina Ribaudo

Publication date 21 January 2003

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0166-5316(02)00104-9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A denotational semantics for SPARC TSO
• A denotational semantics for SPARC TSO
• Guarded second-order logic, spanning trees, and network flows
• scientific article; zbMATH DE number 3984592
• Extending the interaction nets calculus by generic rules
• Interaction nets and term rewriting systems (extended abstract)
• Type theoretic semantics for SemNet
• A semantics for every GSPN
• Integrated structure and semantics for Reo connectors and Petri nets
• Publication:4723281

Cited in

(3)

• Nadia Busi's publications
• Implementing compositionality for stochastic Petri nets
• Formal techniques for performance analysis: blending SAN and PEPA

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: Integrating TwoTowers and GreatSPN through a compact net semantics

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