|
URN:
|
http://URN.fi/URN:NBN:fi:tty-201203091047
|
|
Title:
|
Formal Modelling of Complex Event Processing and its Application to a Manufacturing Line |
|
Author:
|
Ahmad, Waheed |
|
Publication type:
|
Diplomityö |
|
Issue date:
|
2012-02-08 |
|
University:
|
Tampereen teknillinen yliopisto - Tampere University of Technology |
|
Faculty:
|
Automaatio-, kone- ja materiaalitekniikan tiedekunta – Faculty of Automation, Mechanical and Materials Engineering |
|
Department:
|
Tuotantotekniikan laitos – Department of Production Engineering |
|
Abstract:
|
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 |
|
Copyright:
|
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited. |