Decidability of Safety Properties of Timed Multiset Rewriting

DOI10.1007/3-540-45739-9_12zbMath1278.68128OpenAlexW1791450109MaRDI QIDQ5392289

Jean-Marie Cottin, Mitsuharu Yamamoto, Masami Hagiya

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_12

zbMATH Keywords

real-time systemstimed automatadecidabilitytimed Petri nets

Mathematics Subject Classification ID

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

This page was built for publication: Decidability of Safety Properties of Timed Multiset Rewriting