APN
2015
Springer
8 years 8 months ago
2015
Springer
This paper investigates the feature negotiation procedure of the Datagram Congestion Control Protocol (DCCP) in RFC 4340 using Coloured Petri Nets (CPNs). After obtaining a formal ...
APN
2015
Springer
8 years 8 months ago
2015
Springer
APN
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. SIFT (Scale Invariant Feature Transform) is a complex image processing procedure for matching objects or patterns in images. Involving the computation of Euclidean distan...
APN
2015
Springer
8 years 8 months ago
2015
Springer
A finite word is called Petri net solvable if it is isomorphic to the reachability graph of some unlabelled Petri net. In this paper, the class of two-letter Petri net solvable wo...
APN
2015
Springer
8 years 8 months ago
2015
Springer
Communication structured occurrence nets (csons) are the basic variant of structured occurrence nets which have been introduced to characterise the behaviours of complex evolving s...
APN
2015
Springer
8 years 8 months ago
2015
Springer
We describe a framework for the de-materialization of local public administration processes that provides remote assistance by human operators when needed. Our framework is in an a...
APN
2015
Springer
8 years 8 months ago
2015
Springer
Process mining techniques aim to analyze and improve conformance and performance of processes using event data. Process discovery is the most prominent process-mining task: A proce...
APN
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. This paper describes the technical challenges around the modernization process of the GreatSPN framework[15], one of the first Petri net frameworks started in the eighti...
APN
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. Recommending an optimal path of execution and a complete process model for a real time partial trace of large and complex organization is a challenge. The proposed AlfyMi...
APN
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. Retention-free Petri net has been used in modeling of signaling pathways, which is a timed Petri net such that total input and total output token flows are equivalent at...