PNSE+ModPE @ Petri Nets 2013: Milan, Italy
Daniel Moldt (Ed.): Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. CEUR-WS.org 2013 CEUR Workshop Proceedings 989
Invited Talks (PNSE'13)
- Andrea Omicini, Stefano Mariani: Coordination for Situated MAS: Towards an Event-driven Architecture. 17-22
Long Presentations (PNSE'13)
- Vladimir A. Bashkin, Irina A. Lomazova: Soundness of Workflow Nets with an Unbounded Resource is Decidable. 61-75
- Luca Bernardinello, Gorkem Kilinc, Elisabetta Mangioni, Lucia Pomello: Modeling Distributed Private Key Generation by Composing Petri Nets. 77-96
- Tobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus: Integrating Web Services in Petri Net-based Agent Applications. 97-116
- Francesco Fiamberti, Daniela Micucci, Francesco Tisato: Petri Nets as a Means to Validate an Architecture for Time Aware Systems. 117-131
Short Presentations (PNSE'13)
- Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers: A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. 135-154
- Belhassen Mazigh, Kais Ben Fadhel: A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. 169-186
- Tomas Richta, Vladimír Janousek, Radek Kocí: Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. 203-217
Short Papers (PNSE'13)
- Rachid Hadjidj, Hanifa Boucheneb: RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. 247-254
Poster Abstracts (PNSE'13)
- Toshiyuki Miyamoto, Hiroyuki Oimura: A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. 257-258
- Vegard Veiset, Lars Michael Kristensen: Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. 259-260
Invited Talks (ModBE'13)
- Ernesto Damiani, Paolo Ceravolo: Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry. 271
Long Presentations (ModBE'13)
- Yasir Imtiaz Khan, Matteo Risoldi: Optimizing Algebraic Petri Net Model Checking by Slicing. 275-294
- Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus: A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS. 295-312
- Jan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst: Mining Declarative Models Using Time Intervals. 313-331
Short Presentation (ModBE'13)
- Khodakaram Salimifard, Seyed Yaghoub Hosseini, Mohammad Sadegh Moradi: Improving Emergency Department Processes Using Coloured Petri Nets. 335-349
Poster Abstracts (ModBE'13)
- Thomas Wagner, Lawrence Cabac: Advantages of a Full Integration between Agents and Workflows. 353-354
- Sofiane Bendoukha, Lawrence Cabac: Cloud Transition for QoS Modeling of Inter-Organizational Workflows. 355-356
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