Abstract is missing.
- Coordination for Situated MAS: Towards an Event-driven ArchitectureAndrea Omicini, Stefano Mariani. 17-22 [doi]
- A Canonical Contraction for Safe Petri NetsThomas Chatain, Stefan Haar. 25-39 [doi]
- Symbolic verification of ECA rulesXiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo. 41-59 [doi]
- Soundness of Workflow Nets with an Unbounded Resource is DecidableVladimir A. Bashkin, Irina A. Lomazova. 61-75 [doi]
- Modeling Distributed Private Key Generation by Composing Petri NetsLuca Bernardinello, Gorkem Kilinc, Elisabetta Mangioni, Lucia Pomello. 77-96 [doi]
- Integrating Web Services in Petri Net-based Agent ApplicationsTobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus. 97-116 [doi]
- Petri Nets as a Means to Validate an Architecture for Time Aware SystemsFrancesco Fiamberti, Daniela Micucci, Francesco Tisato. 117-131 [doi]
- A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-NetsDennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers. 135-154 [doi]
- Introducing Catch Arcs to Java Reference NetsLawrence Cabac, Michael Simon. 155-168 [doi]
- A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNsBelhassen Mazigh, Kais Ben Fadhel. 169-186 [doi]
- Coloured Petri Nets RefinementsChristine Choppy, Laure Petrucci, Alfred Sanogo. 187-201 [doi]
- Petri Nets-Based Development of Dynamically Reconfigurable Embedded SystemsTomas Richta, Vladimír Janousek, Radek Kocí. 203-217 [doi]
- Decomposing Replay Problems: A Case StudyEric Verbeek, Wil M. P. van der Aalst. 219-235 [doi]
- Building Petri Nets Tools around Neco CompilerLukasz Fronc, Franck Pommereau. 239-245 [doi]
- RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri NetsRachid Hadjidj, Hanifa Boucheneb. 247-254 [doi]
- A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri NetsToshiyuki Miyamoto, Hiroyuki Oimura. 257-258 [doi]
- Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL ProtocolVegard Veiset, Lars Michael Kristensen. 259-260 [doi]
- Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical IndustryErnesto Damiani, Paolo Ceravolo. 271 [doi]
- Optimizing Algebraic Petri Net Model Checking by SlicingYasir Imtiaz Khan, Matteo Risoldi. 275-294 [doi]
- A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MASLawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus. 295-312 [doi]
- Mining Declarative Models Using Time IntervalsJan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst. 313-331 [doi]
- Improving Emergency Department Processes Using Coloured Petri NetsKhodakaram Salimifard, Seyed Yaghoub Hosseini, Mohammad Sadegh Moradi. 335-349 [doi]
- Advantages of a Full Integration between Agents and WorkflowsThomas Wagner, Lawrence Cabac. 353-354 [doi]
- Cloud Transition for QoS Modeling of Inter-Organizational WorkflowsSofiane Bendoukha, Lawrence Cabac. 355-356 [doi]