PNSE @ Petri Nets 2011: Newcastle, UK
Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi (Eds.): Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 723
Invited Talks
- Victor Khomenko: Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis. 9
- Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya: Design, Modelling and Analysis of a Workflow Reconfiguration. 10-24
Long Presentations
- Michael Westergaard, H. M. W. (Eric) Verbeek: Efficient Implementation of Prioritized Transitions for High-level Petri Nets. 27-41
- Ekkart Kindler: Modelling Local and Global Behaviour: Petri Nets and Event Coordination. 42-56
- Michael Westergaard: Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. 57-71
- Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny: Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. 72-91
- Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci: Extending PNML Scope: the Prioritised Petri Nets Experience. 92-106
Short Presentations
- Christine Choppy, Jörg Desel, Laure Petrucci: Specialisation and Generalisation of Processes. 109-123
- Marcin Hewelt, Thomas Wagner, Lawrence Cabac: Integrating Verification into the PAOSE Approach. 124-135
- Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf: A Component Framework where Port Compatibility Implies Weak Termination. 152-166
- Tobias Betz, Lawrence Cabac, Matthias Güttler: Improving the Development Tool Chain in the Context of Petri Net-Based Software Development. 167-178
- Kent Inge Fagerland Simonsen: On the use of Pragmatics for Model-based Development of Protocol Software. 179-190
Poster Abstracts
- Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong: PNTM Integration of Petri Nets and Transactional Memory. 196-199
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