Accepted Workshop Contributions

PNSE 2012
  • Kees Van Hee, Natalia Sidorova and Jan Martijn Van Der Werf. Can We Trust a Third Party? - A Soundness Perspective
  • Agata Janowska, Wojciech Penczek, Agata Polrola and Andrzej Zbrzezny. Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
  • Michael Westergaard, Dirk Fahland and Christian Stahl. Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
  • Yann Ben Maissa, Fabrice Kordon, Salma Mouline and Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor
  • Wojciech Penczek and Michał Knapik. SMT-based parameter synthesis for L/U automata
  • Matthias Wester-Ebbinghaus and Michael Köhler-Bußmeier. Model-Driven Middleware Support for Team-Oriented Process Management
  • Anna Dedova and Laure Petrucci. From Code to Coloured Petri Nets: Modelling Guidelines
  • Kamila Agata Barylska and Edward Ochmański. Hierarchy of persistency with respect to the length of action’s disability
  • Luca Bernardinello, Elisabetta Mangioni and Lucia Pomello. Local state refinement on Elementary Net Systems: an approach based on morphisms
  • Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens and Theo D'Hondt. Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior
  • Thomas Irgang, Andreas Harrer and Robin Bergenthum. MuPSi - a multitouch Petri net simulator for transition steps
  • Julian Burkhart and Michael Haustermann. PetriPad – A Collaborative Petri Net Editor
  • Thomas Wagner. Agentworkflows for Flexible Workflow Execution
  • Sofiane Bendoukha and Thomas Wagner. Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets
  • Luca Bernardinello and Francesco Adalberto Bianchi. A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt
  • Toshiyuki Miyamoto and Yasuwo Hasegawa. A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography
  • Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha. SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets
  • Radek Koci and Vladimir Janousek. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
  • Dominic Dibbern. Porting the Renew Petri Net Simulator to the Operating System Android
  • Jan Bolte. SonarEditor: A Tool for Multi-Agent-Organizations Modelling
BioPPN 2012
  • Anja Hartmann, Hendrik Rohn, Kevin Pucknat, Falk Schreiber Petri-nets in VANTED: Simulation of Barley Seed Metabolism
  • Sabrina Proß, Sebastian Jan Janowski, Bernhard Bachmann, Christian Kaltschmidt, Barbara Kaltschmidt PNlib -- A Modelica Library for Simulation of Biological Systems Based on Extended Hybrid Petri Nets
  • Christian Rohr Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators
  • Paolo Baldan, Nicoletta Cocco, Marta Simeoni Comparison of Metabolic Pathways by Considering Potential Fluxes
  • Mostafa Herajy, Martin Schwarick A Hybrid Petri Net Model of the Eukaryotic Cell Cycle
  • Marta Ewa Polak Modelling Atopic Dermatitis using Petri Nets
  • N.V. Ivanisenko, E.L. Mishenko, I.R. Akberdin, V.A. Ivanisenko A stochastic Petri net model for the suppressive effect of subhenomic hepatitis C virus replication in HUH-7 cells by potential drugs, inhibitors of viral NS5B polymerase
  • Nicholas Stoy, Sophie Chen, Andrzej Kierzek Studying prostate cancer as a network disease by qualitative computer simulation with Petri Nets
  • Mary Ann Blaetke, Wolfgang Marwan A Database-supported Modular Modelling Platform for Systems and Synthetic Biology
WooPS 2012
  • Michael Köhler-Bußmeier Analysing Model Transformations in SONAR
  • Carlo Ferigato, Elisabetta Mangioni Inference of Local Properties in Petri Nets Composed through an Interface
CompoNet 2012
  • Richard Müller and Christian Stahl Deciding the Precongruence for Deadlock Freedom Using Operating Guideline
  • Yves-Stan Le Cornec Compositional analysis of modular Petri nets using hierarchical state space abstraction
  • Luca Bernardinello, Elisabetta Mangioni and Lucia Pomello Composition of Elementary Net Systems based on α-morphisms
LAM 2012
  • Frank Heitmann, Michael Köhler-Bußmeier A Mobility Logic for Object Net Systems
  • Artur Meski, Wojciech Penczek, Maciej Szreter BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems
  • José Martín Castro-Manzano Modelling Intentional Reasoning with Defeasible and Temporal Logic

Page last modified: 2012/06/08