Conference Proceedings

Second International Conference on Advances in Computing, Electronics and Communication - ACEC 2014

CONSTRAINEDNESS MEASUREMENT OF PETRI NET MODELS

Author(s) : DOGUS BEBEK, HUREVREN KILIC

Abstract

It is shown that Shannon’s information capacity calculation metric (originally developed for discrete noiseless channels) can be used for constrainedness quantification of Petri Net based models if they are k-bounded and deadlock free. The proposed approach includes generation of finite marking reachability graph from a given restricted Petri Net based model followed by capacity calculation using the graph by setting up an analogy between Petri Net transitions and letters of Shannon languages.

Conference Title : Second International Conference on Advances in Computing, Electronics and Communication - ACEC 2014
Conference Date(s) : 25 - 26 October 2014
Place : Hotel Novotel Zurich City-West, 8005 Zurich, Switzerland
No fo Author(s) : 2
DOI : 10.15224/978-1-63248-029-3-83
Page(s) : 98 - 101
Electronic ISBN : 978-1-63248-029-3
Views : 778   |   Download(s) : 197