Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

PNSE @ Petri Nets 2016: Toruń, Poland

> Home > Conferences and Workshops > Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/apn/2016pnse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2016pnse
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/TaentzerV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/TaentzerV16
Gabriele Taentzer, Steffen Vaupel:
Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality. 17-29
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Thierry-Mieg16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Thierry-Mieg16
Yann Thierry-Mieg:
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. 30-32

Long Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/BhattacharyyaLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BhattacharyyaLR16
Anirban Bhattacharyya, Bowen Li, Brian Randell:
Time in Structured Occurrence Nets. 35-55
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HoussayePD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HoussayePD16
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel:
Formal Modelling and Analysis of Distributed Storage Systems. 56-75
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/FriedrichM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FriedrichM16
Max Friedrich, Daniel Moldt:
Introducing Refactoring for Reference Nets. 76-92
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LomazovaE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LomazovaE16
Irina A. Lomazova, Vera O. Ermakova:
Verification of Nested Petri Nets Using an Unfolding Approach. 93-112
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/NdiayePGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/NdiayePGC16
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Phawade16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Phawade16
Ramchandra Phawade:
Kleene Theorem for Labelled Free Choice Nets without Distributed Choice. 132-152
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/PradhanJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PradhanJ16
Ahana Pradhan, Rushikesh K. Joshi:
Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes. 153-172
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/SimonM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SimonM16
Michael Simon, Daniel Moldt:
Extending Renew's Algorithms for Distributed Simulation. 173-192
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/SomappaS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SomappaS16
Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen:
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks. 193-212
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/ValmariH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ValmariH16
Antti Valmari, Henri Hansen:
Stubborn Set Intuition Explained. 213-232
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Verbeek16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Verbeek16
H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction. 233-252

Short Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/CotiLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CotiLP16
Camille Coti, Charles Lakos, Laure Petrucci:
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. 255-274
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HickenHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HickenHM16
Jan Hicken, Michael Haustermann, Daniel Moldt:
Refining the Quick Fix for the Petri Net Modeling Tool Renew. 275-286
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LinardBBCDHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LinardBBCDHM16
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/WagnerMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WagnerMK16
Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier:
From eHornets to Hybrid Agent and Workflow Systems. 307-326

Short Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LeBQP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LeBQP16
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Miyamoto16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Miyamoto16
Toshiyuki Miyamoto:
CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. 335-340

Poster Presentation

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/MostellerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MostellerH16
David Mosteller, Michael Haustermann:
Case Studies of the Renew Meta-Modeling and Transformation Framework. 343-344

BioPPN Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HardyF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HardyF16
Simon V. Hardy, Mathieu Pagé Fortin:
Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs. 347-361
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Rohr16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Rohr16
Christian Rohr:
Discrete-Time Leap Method for Stochastic Simulation. 362-376

a service of

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.