Accepted papers to PN 2015
Accepted papers by order of submission:
- Franck Pommereau. SNAKES, a flexible high-level Petri nets library
- Wil van der Aalst, Anna Kalenkova, Eric Verbeek and Vladimir Rubin. Process Discovery Using Localized Events
- Mohammed Alqarni and Ryszard Janicki. On Interval Process Semantics of Petri Nets with Inhibitor Arcs
- Hubert Garavel. Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- Loic Helouet, Eric Badouel and Christophe Morvan. Petri nets with semi-structured data
- Marvin Triebel and Jan Sürmeli. Characterizing stable inequalities of Petri nets
- Thomas Chatain, Stefan Haar, Maciej Koutny and Stefan Schwoon. Non-Atomic Transition Firing in Contextual Nets
- Nicolas David, Claude Jard, Didier Lime and Olivier Roux. Discrete Parameters in Petri Nets
- András Vörös, Ákos Hajdu and Tamas Bartha. New search strategies for the Petri net CEGAR approach
- Thomas Hujsa, Jean-Marc Delosme and Alix Munier Kordon. On the Reversibility of Live Equal-Conflict Petri Nets
- Thomas Wagner and Daniel Moldt. Workflow Management Principles for Interactions between Petri Net-based Agents
- Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh and Kishor Trivedi. An SRN-based Resiliency Quantification Approach
- Monika Heiner, Martin Schwarick and Jan-Thierry Wegener. Charlie – an extensible Petri net analysis tool
- Javier Esparza and Jörg Desel. Negotiation Programs
Accepted papers to ACSD 2015
- Tobias Isenberg. Incremental Inductive Verification of Parameterized Timed Systems
- Antti Valmari. Stop It, and Be Stubborn!
- Ala Eddine Ben Salem and Mohamed Graiet. Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
- Antti Tapani Siirtola, Stavros Tripakis and Keijo Heljanko. When Do We (Not) Need Complex Assume-Guarantee Rules?
- Hernan Ponce-De-Leon, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko and Javier Esparza. Unfolding based Minimal Test Suites for Testing Multithreaded Programs
- Edmundo López Bóbeda, Maximilien Colange and Didier Buchs. Building a Symbolic Model Checker from Formal Language Description
- Ferenc Bujtor and Walter Vogler. Testing Preorders for dMTS: Deadlock- and the New Deadlock-/Divergence-Testing
- Stefan Vijzelaar and Wan Fokkink. Multi-Valued Abstraction Using Lattice Operations
- Loic Helouet, Beatrice Berard and John Mullins. Non-interference in partial order models
- Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk and Ji-Bo Wei. Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy
- Alessandro de Gennaro, Paulius Stankaitis and Andrey Mokhov. A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets
- Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky and Alex Yakovlev. Order Graphs and Cross-layer Parametric Significance-driven Modelling
- Étienne André, Thomas Chatain and César Rodríguez. Preserving Partial Order Runs in Parametric Time Petri Nets
- Hanifa Boucheneb and Kamel Barkaoui. Strongly generalized soundness of Time Workflow Nets
- Jaime Arias, Myriam Desainte-Catherine and Camilo Rueda. A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
Instruction for the authors of PN 2015
Please adhere to the instuctions given on the Springer website:
All authors must also sign and fill in the «Copyright transfer form» and upload it via the easychair website along with the final version of their paper:Calls for paper (past)
You can find the former calls for paper here.