scientific article
From MaRDI portal
Publication:3395756
zbMath1169.93371MaRDI QIDQ3395756
Publication date: 13 September 2009
Full work available at URL: https://eudml.org/doc/207754
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
optimizationstabilitygame theoryLyapunov methodsdecision processcolored Petri netscolored decision process Petri nets
Control/observation systems involving computers (process control, etc.) (93C83) Markov and semi-Markov decision processes (90C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
A hierarchical decomposition of decision process Petri nets for modeling complex systems ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness
This page was built for publication: