Comparing the Expressive Power of Well-Structured Transition Systems

DOI10.1007/978-3-540-74915-8_11MaRDI QIDQ3608407zbMATH OpenOpenAlexFDO

Authors Giorgio Delzanno, Laurent Van Begin, Parosh A. Abdulla

Publication date 5 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_11

zbMATH Keywords

expressivenesslanguage theorywell-structured systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A classification of the expressive power of well-structured transition systems
• Well-structured languages
• Ordinal theory for expressiveness of well-structured transition systems
• Ordinal theory for expressiveness of well structured transition systems
• On the -language expressive power of extended Petri nets

Cited in

(7)

• A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
• Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
• Regular separability of well-structured transition systems
• scientific article; zbMATH DE number 7204383 (Why is no real title available?)
• A classification of the expressive power of well-structured transition systems
• Separability and non-determinizability of WSTS
• Multiset rewriting for the verification of depth-bounded processes with name binding

This page was built for publication: Comparing the Expressive Power of Well-Structured Transition Systems

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