default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPNSE+ModPE @ Petri Nets 2013: Milan, Italy
- Daniel Moldt:
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 Workshop Proceedings 989, CEUR-WS.org 2013
Invited Talks (PNSE'13)
- Andrea Omicini, Stefano Mariani:
Coordination for Situated MAS: Towards an Event-driven Architecture. 17-22
Long Presentations (PNSE'13)
- Thomas Chatain, Stefan Haar:
A Canonical Contraction for Safe Petri Nets. 25-39 - Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic verification of ECA rules. 41-59 - Vladimir A. Bashkin, Irina A. Lomazova:
Soundness of Workflow Nets with an Unbounded Resource is Decidable. 61-75 - Luca Bernardinello, Görkem Kilinç, 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 - Lawrence Cabac, Michael Simon:
Introducing Catch Arcs to Java Reference Nets. 155-168 - Belhassen Mazigh, Kais Ben Fadhel:
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. 169-186 - Christine Choppy, Laure Petrucci, Alfred Sanogo:
Coloured Petri Nets Refinements. 187-201 - Tomas Richta, Vladimír Janousek, Radek Kocí:
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. 203-217 - Eric Verbeek, Wil M. P. van der Aalst:
Decomposing Replay Problems: A Case Study. 219-235
Short Papers (PNSE'13)
- Lukasz Fronc, Franck Pommereau:
Building Petri Nets Tools around Neco Compiler. 239-245 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
