Sciweavers

Share
APN
2015
Springer
4 years 6 months ago
Validating DCCP Simultaneous Feature Negotiation Procedure
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 ...
Somsak Vanit-Anunchai
APN
2015
Springer
4 years 6 months ago
Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT
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...
Jan Henrik Röwekamp, Michael Haustermann
APN
2015
Springer
4 years 6 months ago
On Binary Words Being Petri Net Solvable
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...
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz...
APN
2015
Springer
4 years 6 months ago
Unfolding CSPT-nets
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...
Bowen Li, Maciej Koutny
APN
2015
Springer
4 years 6 months ago
De-Materializing Local Public Administration Processes
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...
Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damian...
APN
2015
Springer
4 years 6 months ago
Process Discovery Using Localized Events
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...
Wil M. P. van der Aalst, Anna Kalenkova, Vladimir ...
APN
2015
Springer
4 years 6 months ago
Reengineering the Editor of the GreatSPN Framework
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...
Elvio Gilberto Amparore
APN
2015
Springer
4 years 6 months ago
An Optimal Process Model for a Real Time Process
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...
Likewin Thomas, Manoj Kumar M. V., Annappa Basava,...
APN
2015
Springer
4 years 6 months ago
Dependent shrink for Petri net models of signaling pathways
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...
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno
books