default search action
PNSE @ Petri Nets 2016: Toruń, Poland
- Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. CEUR Workshop Proceedings 1591, CEUR-WS.org 2016
Invited Talks
- Gabriele Taentzer, Steffen Vaupel:
Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality. 17-29 - Yann Thierry-Mieg:
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. 30-32
Long Presentations
- Anirban Bhattacharyya, Bowen Li, Brian Randell:
Time in Structured Occurrence Nets. 35-55 - Jordan de la Houssaye, Franck Pommereau, Philippe Deniel:
Formal Modelling and Analysis of Distributed Storage Systems. 56-75 - Max Friedrich, Daniel Moldt:
Introducing Refactoring for Reference Nets. 76-92 - Irina A. Lomazova, Vera O. Ermakova:
Verification of Nested Petri Nets Using an Unfolding Approach. 93-112 - Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini:
Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures. 113-131 - Ramchandra Phawade:
Kleene Theorem for Labelled Free Choice Nets without Distributed Choice. 132-152 - Ahana Pradhan, Rushikesh K. Joshi:
Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes. 153-172 - Michael Simon, Daniel Moldt:
Extending Renew's Algorithms for Distributed Simulation. 173-192 - Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen:
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks. 193-212 - Antti Valmari, Henri Hansen:
Stubborn Set Intuition Explained. 213-232 - H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction. 233-252
Short Presentations
- Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. 255-274 - Jan Hicken, Michael Haustermann, Daniel Moldt:
Refining the Quick Fix for the Petri Net Modeling Tool Renew. 275-286 - Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin:
Layered Data: A Modular Formal Definition without Formalisms. 287-306 - Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier:
From eHornets to Hybrid Agent and Workflow Systems. 307-326
Short Papers
- Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci:
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. 329-334 - Toshiyuki Miyamoto:
CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. 335-340
Poster Presentation
- David Mosteller, Michael Haustermann:
Case Studies of the Renew Meta-Modeling and Transformation Framework. 343-344
BioPPN Papers
- Simon V. Hardy, Mathieu Pagé Fortin:
Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs. 347-361 - Christian Rohr:
Discrete-Time Leap Method for Stochastic Simulation. 362-376
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: