Characterizing Stable and Deriving Valid Inequalities of Petri Nets

From MaRDI portal

Publication:4976372

Jump to:navigation, search

DOI10.3233/FI-2016-1374zbMath1372.68189MaRDI QIDQ4976372

Marvin Triebel, Jan Sürmeli

Publication date: 28 July 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

invariants linear inequalities traps stable properties inductive invariants Petri net analysis co-traps

Mathematics Subject Classification ID

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

This page was built for publication: Characterizing Stable and Deriving Valid Inequalities of Petri Nets

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4976372&oldid=19415868"