PNSE @ Petri Nets 2012: Hamburg, Germany
Lawrence Cabac, Michael Duvigneau, Daniel Moldt (Eds.): Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 851
Invited Talks
- Wolfgang Reisig: What Should we Teach About Petri Nets? 11
Long Presentations
- Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny: Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. 15-31
- Michael Westergaard, Dirk Fahland, Christian Stahl: Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. 32-46
- Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: When Can We Trust a Third Party? - A Soundness Perspective. 47-59
- Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg: Modeling and Analyzing Wireless Sensor Networks with VeriSensor. 60-76
- Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier: Model-Driven Middleware Support for Team-Oriented Process Management. 93-108
- Kamila Agata Barylska, Edward Ochmanski: Hierarchy of persistency with respect to the length of actions disability. 125-137
Short Presentations
- Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello: Local state refinement on Elementary Net Systems: an approach based on morphisms. 141-155
- Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt: Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior. 156-170
- Thomas Irgang, Andreas Harrer, Robin Bergenthum: MuPSi - a multitouch Petri net simulator for transition steps. 171-181
Poster Abstracts
- Thomas Wagner: Agentworkflows for Flexible Workflow Execution. 199-214
- Sofiane Bendoukha, Thomas Wagner: Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets. 215-216
- Luca Bernardinello, Francesco Adalberto Bianchi: A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. 217-221
- Toshiyuki Miyamoto, Yasuwo Hasegawa: A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. 222-236
- Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha: SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. 237-252
- Radek Kocí, Vladimír Janousek: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. 253-266
- Dominic Dibbern: Porting the Renew Petri Net Simulator to the Operating System Android. 267-268
- Jan Bolte: SonarEditor: A Tool for Multi-Agent-Organizations Modelling. 269-270
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team