scientific article; zbMATH DE number 5878361
From MaRDI portal
Publication:5392873
zbMath1216.00032MaRDI QIDQ5392873
Christian Stahl, Wil M. P. van der Aalst
Publication date: 15 April 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Management decision making, including multiple objectives (90B50) General theory of mathematical modeling (00A71)
Related Items
Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins, Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens, Model checking Petri nets with names using data-centric dynamic systems, Distributed synthesis of asynchronously communicating distributed process models, Free-choice Nets with Home Clusters are Lucent, Unnamed Item, Discovering Object-centric Petri Nets, Lifted structural invariant analysis of Petri net product lines, Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Uses Software
