scientific article; zbMATH DE number 6851936

DOI10.4230/LIPIcs.CONCUR.2016.14zbMath1392.68317arXiv1606.05490MaRDI QIDQ4608666

Marvin Triebel, Jan Sürmeli

Publication date: 21 March 2018

Full work available at URL: https://arxiv.org/abs/1606.05490

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stabilityinvariantsvaliditylinear equationsalgebraic Petri nets

Mathematics Subject Classification ID

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

Related Items (2)

From DB-nets to Coloured Petri Nets with Priorities ⋮ Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions

This page was built for publication: