Accepted Papers

Petri Nets 2012
  • Eric Badouel On the alpha-Reconstructibility of Workflow Nets
  • Wil Van Der Aalst Decomposing Process Mining Problems Using Passages
  • Marc Solé and Josep Carmona An SMT-based Discovery Algorithm for C-nets
  • Veronica Gil Costa, Jair Lobos, Alonso Inostrosa-Psijas and Mauricio Marin Capacity Planning for Vertical Search Engines: An approach based on Coloured Petri Nets
  • Frederic Cristini and Catherine Tessier Nets-within-nets to model innovative space system architectures
  • Astrid Rakow Safety Slicing Petri Nets
  • Antti Valmari and Henri Hansen Old and New Algorithms for Minimal Coverability sets
  • Simon Spinner, Samuel Kounev and Philipp Meier Stochastic Modeling and Analysis using QPME: Queueing Petri Net Modeling Environment v2.0
  • Guanjun Liu, Jun Sun, Yang Liu and Jinsong Dong Complexity of the Soundness Problem of Bounded Workflow Nets
  • Xu Wang Maximal Confluent Processes
  • María Martos-Salgado and Fernando Rosa-Velardo Cost Soundness for Priced Resource-Constrained Workflow nets
  • Thomas Mailund, Anders Halager and Michael Westergaard Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods
  • Joyce Nakatumba, Michael Westergaard and Wil Van Der Aalst An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
  • Sami Evangelista and Lars Kristensen Hybrid LTL Model Checking with the Sweep-Line Method
  • Dirk Fahland and Robert Prüfer Data and Abstraction for Scenario-Based Modeling with Petri Nets
  • Frank Heitmann and Michael Köhler-Bußmeier P- and T-Systems in the Nets-within-Nets-Formalism
  • Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr and Martin Schwarick Snoopy - a unifying Petri net tool
  • Matthias Weidlich and Jan Martijn van der Werf On Profiles and Footprints - Relational Semantics for Petri Nets
  • Andreas Lehmann, Niels Lohmann and Karsten Wolf Stubborn Sets for Simple Linear Time Properties
  • Debjyoti Bera, Kees Van Hee and Jan Martijn Van Der Werf Designing Weakly Terminating ROS Systems
  • Štefan Korecko, Ján Marcinčin and Viliam Slodiak CPN Assistant II: A Tool for Management of Networked Simulations
ACSD 2012
  • Tim Strazny and Roland Meyer An Algorithmic Framework for Coverability in Well-Structured Systems
  • Antti Valmari All Linear-Time Congruences for Finite LTSs and Familiar Operators
  • Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev and Alex Yakovlev Algebra of Parametrised Graphs
  • Javier Esparza and Christian Kern Reactive and Proactive Diagnosis of Distributed Systems using Net Unfoldings
  • Souheib Baarir, Maximilien Colange, Fabrice Kordon and Yann Thierry-Mieg State Space Analysis using Symmetries on Decision Diagrams
  • Antti Siirtola, Antti Puhakka and Gerald Lüttgen Introducing Fairness into Compositional Verification via Unidirectional Counters
  • Jasen Markovski and Michel Reniers Verifying Performance of Supervised Plants
  • Marc Solé and Josep Carmona A High-level Strategy for C-net Discovery
  • Ricardo J. Rodríguez, Jorge Julvez and Jose Merseguer PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation
  • Andrew Mundy, Terrence Mak, Alex Yakovlev, Simon Davidson and Steve Furber Large-Scale On-Chip Dynamic Programming Network Inferences using Moderated Inter-Core Communication
  • Andrey Mokhov, Victor Khomenko, Danil Sokolov and Alex Yakovlev On Dual-Rail Control Logic for Enhanced Circuit Robustness
  • Lukasz Mikulski and Maciej Koutny Hasse Diagrams of Combined Traces
  • Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matus Madzin and Vojtech Rehak Sequence Chart Studio
  • Walter Vogler, Christian Stahl and Richard Müller A Trace-Based Semantics for Responsiveness
  • Hanifa Boucheneb and Kamel Barkaoui Reachability Analysis of P-Time Petri Nets with Parametric Markings
  • Adnan Bouakaz, Jean-Pierre Talpin and Jan Vitek Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
  • Jakob Lechner, Martin Lampacher and Thomas Polzer A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
  • Olli Saarikivi, Kari Kähkönen and Keijo Heljanko Improving Dynamic Partial Order Reductions for Concolic Testing
  • Luca Pazzi and Marco Pradelli Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts
  • Sven Linker Translating Structural Process Properties to Petri Net Markings

Page last modified: 2012/05/09