Flexibility in Algebraic Nets

DOI10.1007/3-540-69108-1_19MaRDI QIDQ6487399zbMATH OpenFDO

Authors Ekkart Kindler, H. Völzer

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• Algebraic nets with flexible arcs
• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• Publication:4942095
• scientific article; zbMATH DE number 1101604
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

Cites work

• Computer science today. Recent trends and developments
• Flexibility in Algebraic Nets
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 4035156 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1101604 (Why is no real title available?)
• scientific article; zbMATH DE number 750184 (Why is no real title available?)
• Petri net based verification of distributed algorithms: An example
• Petri nets and algebraic specifications
• Proving nonreachability by modulo-invariants
• The non-sequential behaviour of Petri nets
• Verification of siphons and traps for algebraic Petri nets

Cited in

(4)

• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
• Algebraic nets with flexible arcs
• Flexibility in Algebraic Nets

This page was built for publication: Flexibility in Algebraic Nets

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