Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study.
Remigiusz WisniewskiJustyna Patalas-MaliszewskaMarcin WojnakowskiMarcin TopczakMengchu ZhouPublished in: SMC (2023)
Keyphrases
- decision making
- computational model
- formal model
- management system
- influence diagrams
- probabilistic model
- decision model
- experimental data
- computer systems
- intelligent systems
- distributed systems
- probability distribution
- objective function
- access control
- em algorithm
- theoretical analysis
- neural network model
- computational models
- prior knowledge
- support systems
- information systems