Abstract is missing.
- Unfolding Models of Asynchronous Systems: Applications to Analysis and SynthesisVictor Khomenko. 9 [doi]
- Design, Modelling and Analysis of a Workflow ReconfigurationManuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya. 10-24 [doi]
- Efficient Implementation of Prioritized Transitions for High-level Petri NetsMichael Westergaard, H. M. W. (Eric) Verbeek. 27-41 [doi]
- Modelling Local and Global Behaviour: Petri Nets and Event CoordinationEkkart Kindler. 42-56 [doi]
- Towards Verifying Parallel Algorithms and Programs using Coloured Petri NetsMichael Westergaard. 57-71 [doi]
- Bounded Model Checking Approaches for Verification of Distributed Time Petri NetsArtur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. 72-91 [doi]
- Extending PNML Scope: the Prioritised Petri Nets ExperienceLom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci. 92-106 [doi]
- Specialisation and Generalisation of ProcessesChristine Choppy, Jörg Desel, Laure Petrucci. 109-123 [doi]
- Integrating Verification into the PAOSE ApproachMarcin Hewelt, Thomas Wagner, Lawrence Cabac. 124-135 [doi]
- Transitions as TransactionsShengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong. 136-151 [doi]
- A Component Framework where Port Compatibility Implies Weak TerminationDebjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf. 152-166 [doi]
- Improving the Development Tool Chain in the Context of Petri Net-Based Software DevelopmentTobias Betz, Lawrence Cabac, Matthias Güttler. 167-178 [doi]
- On the use of Pragmatics for Model-based Development of Protocol SoftwareKent Inge Fagerland Simonsen. 179-190 [doi]
- A Goal Based Approach on top of Petri NetsNejm Saadallah, Benoit Daireaux. 193-195 [doi]
- PNTM Integration of Petri Nets and Transactional MemoryWeiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong. 196-199 [doi]