Measurement of Fairness in Process Models Using Entropy and Stochastic Petri Nets

Martin Ibl

2014

Abstract

Measurements of various properties of the process models in the last few years become relatively widely explored area. These are properties such as uncertainty, complexity, readability or cohesion of process models. Quantification of these properties can provide better insight in term of, for instance, user-friendliness, predictability, clarity, etc. of the process model. The aim of this work is to design a method for quantification of fairness in the process models which are modelled using stochastic Petri nets. The method is based on mapping the set of all reachable markings of Petri net into Markov chain and then quantification of entropy from stationary probabilities of the individual places (all places or a specific subset). The resulting value of fairness is from the interval <0, 1>.

References

  1. "Fairness", 2011. Oxford Advanced American Dictionary for learners of English
  2. Alpern, B., Schneider, F. B., 1985. Defining liveness. Information Processing Letters, 21, 181-185.
  3. Apt, K., Francez, N., Katz, S., 1988. Appraising fairness in languages for distributed programming. Distributed Computing, 2, 226-241.
  4. Avi-Itzhak, B., Levy, H., Raz, D., 2008. Quantifying fairness in queuing systems: Principles, approaches, and applicability. Probab. Eng. Inf. Sci., 22, 495-517.
  5. Baier, C., Katoen, J.-P., 2008. Principles of model checking, Cambridge, Mass., The MIT Press.
  6. González, L. S., Rubio, F. G., González, F. R., Velthuis, M. P., 2010. Measurement in business processes: a systematic review. Business Process Management Journal, 16, 114 - 134.
  7. Ibl, M., 2013. Uncertainty Measure of Process Models using Entropy and Petri Nets. ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, 2013. Setubal: Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 542-547.
  8. Jaffe, J., 1981. Bottleneck Flow Control. Communications, IEEE Transactions on, 29, 954-962.
  9. Jung, J.-Y., Chin, C.-H., Cardoso, J., 2011. An entropybased uncertainty measure of process models. Information Processing Letters, 111, 135-141.
  10. Kelly, F., 1997. Charging and rate control for elastic traffic. European Transactions on Telecommunications, 8, 33-37.
  11. Larson, R. C., 1987. PERSPECTIVES ON QUEUES - SOCIAL-JUSTICE AND THE PSYCHOLOGY OF QUEUING. Operations Research, 35, 895-905.
  12. Lassen, K. B., Van Der Aalst, W. M. P., 2009. Complexity metrics for Workflow nets. Information and Software Technology, 51, 610-626.
  13. Marsan, M. A., 1990. Stochastic Petri nets: an elementary introduction. In: GRZEGORZ, R. (ed.) Advances in Petri nets 1989. Springer-Verlag New York, Inc.
  14. Molloy, M. K., 1982. Performance Analysis Using Stochastic Petri Nets. Computers, IEEE Transactions on, C-31, 913-917.
  15. Palm, C., 1953. Methods of Judging the Annoyance Caused By Congestions. TELE (English ed.), 1-20.
  16. Petri, C. A., 1962. Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2.
  17. Raz, D., Levy, H., Avi-Itzhak, B., 2004. A resourceallocation queueing fairness measure. SIGMETRICS Perform. Eval. Rev., 32, 130-141.
  18. Reijers, H. A., Vanderfeesten, I. T. P., 2004. Cohesion and Coupling Metrics for Workflow Process Design. In: DESEL, J., PERNICI, B. & WESKE, M. (eds.) Business Process Management. Springer Berlin Heidelberg.
  19. Shannon, C. E., 1948. A mathematical theory of communication. Bell System Technical Journal, 27, 379-423.
  20. Völzer, H., Varacca, D., 2012. Defining Fairness in Reactive and Concurrent Systems. Journal of the ACM, 59, 13-13:37.
Download


Paper Citation


in Harvard Style

Ibl M. (2014). Measurement of Fairness in Process Models Using Entropy and Stochastic Petri Nets . In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014) ISBN 978-989-758-037-6, pages 115-120. DOI: 10.5220/0005098301150120


in Bibtex Style

@conference{icsoft-pt14,
author={Martin Ibl},
title={Measurement of Fairness in Process Models Using Entropy and Stochastic Petri Nets},
booktitle={Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)},
year={2014},
pages={115-120},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005098301150120},
isbn={978-989-758-037-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)
TI - Measurement of Fairness in Process Models Using Entropy and Stochastic Petri Nets
SN - 978-989-758-037-6
AU - Ibl M.
PY - 2014
SP - 115
EP - 120
DO - 10.5220/0005098301150120