scientific article; zbMATH DE number 5014120

MaRDI QIDQ3377337zbMATH OpenFDO

Authors Zvi Retchkiman Konigsberg, Julio B. Clempner

Publication date 21 March 2006

zbMATH Keywords

Lyapunov methodsMarkov decision processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decision theory for games (91A35) Decision theory (91B06)

Recommendations

• scientific article; zbMATH DE number 2188549
• scientific article; zbMATH DE number 4074502
• Colored decision process Petri nets modeling analysis and stability
• Analysis of Petri nets and transition systems
• Stochastic decision Petri nets
• Structural analysis of Petri nets
• scientific article; zbMATH DE number 978207
• Petri nets and regular processes
• A hierarchical decomposition of decision process Petri nets for modeling complex systems
• Analysis of Petri nets with a dynamic priority method

Cited in

(9)

• Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Colored decision process Petri nets modeling analysis and stability
• A hierarchical decomposition of decision process Petri nets for modeling complex systems
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• scientific article; zbMATH DE number 562250 (Why is no real title available?)
• The formalization of decision-free Petri net
• scientific article; zbMATH DE number 2188549 (Why is no real title available?)
• Business process modeling and validation using decision process Petri nets

Describes a project that uses

Uses Software

• DPPN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3377337)