default search action
PNSE @ Petri Nets 2011: Newcastle, UK
- Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi:
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. CEUR Workshop Proceedings 723, CEUR-WS.org 2011
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, Henricus 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 - Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong:
Transitions as Transactions. 136-151 - 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
- Nejm Saadallah, Benoit Daireaux:
A Goal Based Approach on top of Petri Nets. 193-195 - Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong:
PNTM Integration of Petri Nets and Transactional Memory. 196-199
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-09-29 00:27 CEST 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: