State space analysis of Petri nets with relation-algebraic methods

DOI10.1016/J.JSC.2008.04.005MaRDI QIDQ2518607zbMATH OpenOpenAlexFDO

Authors Alexander Fronk, Britta Kehden

Publication date 16 January 2009

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2008.04.005

zbMATH Keywords

Petri netsreachability graphrelation algebrastate space analysissystems analysis

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) 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

• State space computation and analysis of Time Petri Nets
• scientific article; zbMATH DE number 1751908
• scientific article; zbMATH DE number 1540512
• Modular state space analysis of coloured Petri nets
• Analysis of Petri nets and transition systems
• Characterisation of the state spaces of marked graph Petri nets
• scientific article; zbMATH DE number 803796
• On the algebraic structure of Petri nets

Cites work

• A coalgebraic presentation of structured transition systems
• Branching Programs and Binary Decision Diagrams
• Decidability of model checking for infinite-state concurrent systems
• Evaluating Sets of Search Points Using Relational Algebra
• Exact computation of minimum feedback vertex sets with relational algebra
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• scientific article; zbMATH DE number 1615252 (Why is no real title available?)
• scientific article; zbMATH DE number 1670845 (Why is no real title available?)
• scientific article; zbMATH DE number 3929034 (Why is no real title available?)
• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1361125 (Why is no real title available?)
• scientific article; zbMATH DE number 1735909 (Why is no real title available?)
• scientific article; zbMATH DE number 1086630 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 1515289 (Why is no real title available?)
• scientific article; zbMATH DE number 827979 (Why is no real title available?)
• scientific article; zbMATH DE number 1392309 (Why is no real title available?)
• Relation-algebraic computation of fixed points with applications
• Relational Methods in Computer Science
• State space analysis of Petri nets with relation-algebraic methods
• Unfolding based alorithms for the reachability problem

Cited in

(7)

• Modal algebra and Petri nets
• State space analysis of Petri nets with relation-algebraic methods
• scientific article; zbMATH DE number 2134685 (Why is no real title available?)
• High-level Petri net model checking with AlPiNA
• A relation-algebraic approach to liveness of place/transition nets
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• Relational Methods in Computer Science

Describes a project that uses

Uses Software

• KURE
• RelView

This page was built for publication: State space analysis of Petri nets with relation-algebraic methods

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