Login / Signup
PNSE+ModPE
2013
2013
2013
Keyphrases
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)