default search action
PNSE @ Petri Nets 2012: Hamburg, Germany
- Lawrence Cabac, Michael Duvigneau, Daniel Moldt:
Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. CEUR Workshop Proceedings 851, CEUR-WS.org 2012
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 - Michal Knapik
, Wojciech Penczek:
SMT-based parameter synthesis for L/U automata. 77-92 - Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier:
Model-Driven Middleware Support for Team-Oriented Process Management. 93-108 - Anna Dedova, Laure Petrucci:
From Code to Coloured Petri Nets: Modelling Guidelines. 109-124 - 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 - Julian Burkhart, Michael Haustermann:
PetriPad A Collaborative Petri Net Editor. 182-196
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: