共查询到10条相似文献,搜索用时 31 毫秒
1.
Laura Genga Mahdi Alizadeh Domenico Potena Claudia Diamantini Nicola Zannone 《Journal of Intelligent Information Systems》2018,51(2):257-300
Conformance checking allows organizations to compare process executions recorded by the IT system against a process model representing the normative behavior. Most of the existing techniques, however, are only able to pinpoint where individual process executions deviate from the normative behavior, without considering neither possible correlations among occurred deviations nor their frequency. Moreover, the actual control-flow of the process is not taken into account in the analysis. Neglecting possible parallelisms among process activities can lead to inaccurate diagnostics; it also poses some challenges in interpreting the results, since deviations occurring in parallel behaviors are often instantiated in different sequential behaviors in different traces. In this work, we present an approach to extract anomalous frequent patterns from historical logging data. The extracted patterns can exhibit parallel behaviors and correlate recurrent deviations that have occurred in possibly different portions of the process, thus providing analysts with a valuable aid for investigating nonconforming behaviors. Our approach has been implemented as a plug-in of the ESub tool and evaluated using both synthetic and real-life logs. 相似文献
2.
A note on colored Petri nets 总被引:1,自引:0,他引:1
James L. Peterson 《Information Processing Letters》1980,11(1):40-43
3.
4.
5.
《Mathematics and computers in simulation》2004,65(3):245-249
The methodology of switched LAN models construction in the form of colored Petri net is introduced. For the simulation and analysis of the model the Design/CPN tool is used. The tasks of estimation of LAN switch’s buffer size and network response time were solved. The components of the model are switches, servers, and workstations. 相似文献
6.
7.
8.
9.
Bourcerie M. Morel J.-Y. 《IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics》1997,27(4):681-686
Sequential processes can hardly be modeled with Colored Petri Nets (CPN). Their standard functions (such as "Succ" and "Prec") can only describe simple cases whereas modeling a complex sequence requires the definition of a function via a cumbersome and static table. In order to overcome these limitations, we first introduce a mixed structure based upon CPN and FIFO queues; then, we define an isomorphism between the set of colors and a finite field Z/pZ enabling symbolic calculation using polynomials associated with arcs instead of linear functions mapping sets into sets. Finally, several examples illustrate their modeling capabilities including failure recovery. 相似文献
10.
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。 相似文献