Minimal generating sets for semiflows

DOI10.1007/978-3-031-35355-0_12MaRDI QIDQ6535470zbMATH OpenFDO

Authors Gerard Memmi

Publication date 11 January 2024

Full work available at URL https://doi.org/10.1007/978-3-031-35355-0_12

zbMATH Keywords

formal verificationgenerating setlinear algebraPetri netssemiflow

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)

Recommendations

• scientific article; zbMATH DE number 3905852
• scientific article; zbMATH DE number 4076636
• Computing Minimal Elements of Upward-Closed Sets for Petri Nets
• scientific article; zbMATH DE number 4037224
• Petri nets and semilinear sets (extended abstract)

Cites work

• Conditions for extinction events in chemical reaction networks with discrete state spaces
• Ein Satz über Untermengen einer endlichen Menge.
• How Petri net theory serves Petri net model checking: a survey
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 4037224 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 3789841 (Why is no real title available?)
• scientific article; zbMATH DE number 3612450 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• Nets, time and space
• On liveness and controlled siphons in Petri nets
• P-Semiflow Computation with Decision Diagrams
• Regular hypergraphs, Gordon's lemma, Steinitz' lemma and invariant theory
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Using linear programming in Petri net analysis

This page was built for publication: Minimal generating sets for semiflows

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