PNSE+ModPE

Publications

2013

Khodakaram Salimifard, Seyed Yaghoub Hosseini, Mohammad Sadegh Moradi
Improving Emergency Department Processes Using Coloured Petri Nets. PNSE+ModPE (2013)
Lukasz Fronc, Franck Pommereau
Building Petri Nets Tools around Neco Compiler. PNSE+ModPE (2013)
Tomas Richta, Vladimír Janousek, Radek Kocí
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. PNSE+ModPE (2013)
Andrea Omicini, Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture. PNSE+ModPE (2013)
Toshiyuki Miyamoto, Hiroyuki Oimura
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. PNSE+ModPE (2013)
Belhassen Mazigh, Kais Ben Fadhel
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. PNSE+ModPE (2013)
Eric Verbeek, Wil M. P. van der Aalst
Decomposing Replay Problems: A Case Study. PNSE+ModPE (2013)
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. PNSE+ModPE (2013)
Vladimir A. Bashkin, Irina A. Lomazova
Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE (2013)
Tobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus
Integrating Web Services in Petri Net-based Agent Applications. PNSE+ModPE (2013)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic verification of ECA rules. PNSE+ModPE (2013)
Ernesto Damiani, Paolo Ceravolo
Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry. PNSE+ModPE (2013)
Thomas Chatain, Stefan Haar
A Canonical Contraction for Safe Petri Nets. PNSE+ModPE (2013)
Francesco Fiamberti, Daniela Micucci, Francesco Tisato
Petri Nets as a Means to Validate an Architecture for Time Aware Systems. PNSE+ModPE (2013)
Vegard Veiset, Lars Michael Kristensen
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE (2013)
Thomas Wagner, Lawrence Cabac
Advantages of a Full Integration between Agents and Workflows. PNSE+ModPE (2013)
Jan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst
Mining Declarative Models Using Time Intervals. PNSE+ModPE (2013)
Lawrence Cabac, Michael Simon
Introducing Catch Arcs to Java Reference Nets. PNSE+ModPE (2013)
Rachid Hadjidj, Hanifa Boucheneb
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. PNSE+ModPE (2013)
Yasir Imtiaz Khan, Matteo Risoldi
Optimizing Algebraic Petri Net Model Checking by Slicing. PNSE+ModPE (2013)
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus
A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS. PNSE+ModPE (2013)
Christine Choppy, Laure Petrucci, Alfred Sanogo
Coloured Petri Nets Refinements. PNSE+ModPE (2013)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE (2013)
Sofiane Bendoukha, Lawrence Cabac
Cloud Transition for QoS Modeling of Inter-Organizational Workflows. PNSE+ModPE (2013)