APN 2015 - PDF Preprint Papers

APN 2015 Application and Theory of Petri Nets

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed APN-2015 Paper

click to vote

APN
2015
Springer

73views Artificial Intelligence» more APN 2015»

Validating DCCP Simultaneous Feature Negotiation Procedure

8 years 8 months ago

Download ceur-ws.org

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

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	73	Validating DCCP Simultaneous Feature Negotiation Procedure	claim
2	31	Software Engineering and Modeling Education: Problems and Solutions	claim
3	30	Dependent shrink for Petri net models of signaling pathways	claim
4	28	Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT	claim
5	27	Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation	claim
6	26	Coordination Rules Generation from Coloured Petri Net Models	claim
7	26	Knowledge Driven Behavioural Analysis in Process Intelligence	claim
8	26	Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets	claim
9	26	Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework	claim
10	24	An Optimal Process Model for a Real Time Process	claim
11	23	Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data	claim
12	23	Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care	claim
13	22	De-Materializing Local Public Administration Processes	claim
14	21	Catalog-based Token Transportation in Acyclic Block-Structured WF-nets	claim
15	21	Process Discovery Using Localized Events	claim
16	21	On Binary Words Being Petri Net Solvable	claim
17	20	Capturing the Sudden Concept Drift in Process Mining	claim
18	19	Unifying Patterns for Modelling Timed Relationships in Systems and Properties	claim
19	19	Compact Regions for Place/Transition Nets	claim
20	19	Negotiations and Petri Nets	claim
21	19	Unfolding CSPT-nets	claim
22	18	Petri nets for modelling and analysing trophic networks	claim
23	18	ILP-Based Process Discovery Using Hybrid Regions	claim
24	18	A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms	claim
25	17	Modelling the Behaviour of Management Operations in Cloud-based Applications	claim
26	17	Discovery of Functional Architectures From Event Logs	claim
27	17	The dynamics of deterministic systems - A survey	claim
28	17	Introducing the Quick Fix for the Petri Net Modeling Tool Renew	claim
29	16	Process-oriented Worksheets for the Support of Teaching Projects	claim
30	15	Mining Duplicate Tasks from Discovered Processes	claim
31	15	On Modeling internal organs and meridian system based on traditional Chinese medicine	claim
32	15	Integrating Network Technique into Distributed Agent-Oriented Software Development Projects	claim
33	15	Reengineering the Editor of the GreatSPN Framework	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers