Formal Modelling of Complex Event Processing and its Application to a Manufacturing Line
Ahmad, Waheed (2012)
Ahmad, Waheed
2012
Master's Degree Programme in Machine Automation
Automaatio-, kone- ja materiaalitekniikan tiedekunta - Faculty of Automation, Mechanical and Materials Engineering
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2012-02-08
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tty-201203091047
https://urn.fi/URN:NBN:fi:tty-201203091047
Tiivistelmä
Identifying the significant and most needed information in huge enterprises at the right time not only helps in decision making, but also plays an important role in overall performance and profit making of enterprises. Complex Event Processing (CEP) is a developing method of processing different events from multiple sources and filtering them to produce complex events.
This thesis provides a methodology to model CEP using Timed Net Condition Event System (TNCES), a Petri Nets derived formalism. Petri Nets is a graphical, mathematical modelling language used to analyze and describe discrete-event dynamic systems. The biggest advantage of representing CEP in TNCES is that it opens paths to the validation of the events filtering and decision making in different level of enterprise. /Kir12
This thesis provides a methodology to model CEP using Timed Net Condition Event System (TNCES), a Petri Nets derived formalism. Petri Nets is a graphical, mathematical modelling language used to analyze and describe discrete-event dynamic systems. The biggest advantage of representing CEP in TNCES is that it opens paths to the validation of the events filtering and decision making in different level of enterprise. /Kir12