Algebraic nets with flexible arcs

DOI10.1016/S0304-3975(00)00205-XMaRDI QIDQ5958125zbMATH OpenOpenAlexFDO

Authors Ekkart Kindler, H. Völzer

Publication date 3 March 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(00)00205-x

zbMATH Keywords

algebraic Petri netsflexible arcslinear-algebraic verification techniquesplace invariants

Mathematics Subject Classification ID

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

Recommendations

• Flexibility in Algebraic Nets
• Publication:4942095
• scientific article; zbMATH DE number 1101604
• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• Petri nets and algebraic specifications

Cites work

• Computer science today. Recent trends and developments
• Flexibility in Algebraic Nets
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 4028914 (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 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1236370 (Why is no real title available?)
• scientific article; zbMATH DE number 1101604 (Why is no real title available?)
• Petri net based verification of distributed algorithms: An example
• Petri nets and algebraic specifications
• Petri nets are monoids
• Proving nonreachability by modulo-invariants
• The non-sequential behaviour of Petri nets
• Verification of siphons and traps for algebraic Petri nets

Cited in

(3)

• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• Homogeneous equations of algebraic Petri nets
• Flexibility in Algebraic Nets

This page was built for publication: Algebraic nets with flexible arcs

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