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
