Fuzzy Petri Nets for Human Behavior Verification and Validation

Regarding the rapid growth of the size and complexity of simulation applications, designing applicable and affordable verification and validation (V&V) structures is an important problem. On the other hand, nowadays human behavior models are principles to make decision in many simulations and in order to have valid decisions based on a reliable human decision model, first the model must pass the validation and verification criteria. Usually human behavior models are represented as fuzzy rule bases. In all the recent works, V&V process is applied on a ready given rule-base. In this work, we are first supposed to construct a fuzzy rule-base and then apply the V&V process on it. Considering the professor-student interaction as the case-study, in order to construct the rule base, a questionnaire is designed in a special way to be transformed to a hierarchical fuzzy rule-base. The constructed fuzzy rule base is then mapped to a fuzzy Petri net and then within the verification (generating and searching the reachability graph) and validation (reasoning the Petri net) process is searched for probable structural and semantic errors.

@article{Kouzehgar2011,
  title     = {Fuzzy Petri Nets for Human Behavior Verification and Validation},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {2},
  number    = {12},
  year      = {2011},
  publisher = {The Science and Information Organization},
  author    = {M Kouzehgar and M. A. Badamchizadeh and S. Khanmohammadi},
  doi       = {10.14569/IJACSA.2011.021216},
  url       = {https://doi.org/10.14569/IJACSA.2011.021216}
}