PNSE

Keyphrases

Publications

2012

Kamila Agata Barylska, Edward Ochmanski
Hierarchy of persistency with respect to the length of actions disability. PNSE (2012)
Michal Knapik, Wojciech Penczek
SMT-based parameter synthesis for L/U automata. PNSE (2012)
Thomas Wagner
Agentworkflows for Flexible Workflow Execution. PNSE (2012)
Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
When Can We Trust a Third Party? - A Soundness Perspective. PNSE (2012)
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. PNSE (2012)
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE (2012)
Dominic Dibbern
Porting the Renew Petri Net Simulator to the Operating System Android. PNSE (2012)
Wolfgang Reisig
What Should we Teach About Petri Nets? PNSE (2012)
Jan Bolte
SonarEditor: A Tool for Multi-Agent-Organizations Modelling. PNSE (2012)
Julian Burkhart, Michael Haustermann
PetriPad A Collaborative Petri Net Editor. PNSE (2012)
Michael Westergaard, Dirk Fahland, Christian Stahl
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. PNSE (2012)
Anna Dedova, Laure Petrucci
From Code to Coloured Petri Nets: Modelling Guidelines. PNSE (2012)
Toshiyuki Miyamoto, Yasuwo Hasegawa
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. PNSE (2012)
Sofiane Bendoukha, Thomas Wagner
Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets. PNSE (2012)
Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. PNSE (2012)
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
Model-Driven Middleware Support for Team-Oriented Process Management. PNSE (2012)
Radek Kocí, Vladimír Janousek
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. PNSE (2012)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE (2012)
Luca Bernardinello, Francesco Adalberto Bianchi
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. PNSE (2012)
Thomas Irgang, Andreas Harrer, Robin Bergenthum
MuPSi - a multitouch Petri net simulator for transition steps. PNSE (2012)
Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt
Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior. PNSE (2012)

volume 851, 2012

Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012 PNSE 851 (2012)

2011

volume 723, 2011

Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011 PNSE 723 (2011)