default search action
PNSE @ Petri Nets 2014: Tunis, Tunisia
- Daniel Moldt, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014. CEUR Workshop Proceedings 1160, CEUR-WS.org 2014
PART I: Invited Talk
- Lars Michael Kristensen:
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. 13-14
PART II: Long Presentations
- Robin Bergenthum, Joachim Schick:
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. 17-33 - Kais Klai:
On-The-Fly Model Checking of Times Properties on Time Petri Nets. 35-53 - Artur Niewiadomski, Wojciech Penczek:
SMT-based Abstract Temporal Planning. 55-74 - Ramchandra Phawade, Kamal Lodaya:
Kleene Theorems for Labelled Free Choice Nets. 75-89 - Mihai-Lica Pura, Didier Buchs:
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. 91-110
PART III: Short Presentations
- Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi:
Morphisms on Marked Graphs. 113-127 - Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir:
A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. 129-141 - Jörg Desel, Görkem Kilinç:
Observable Liveness. 143-163 - Ning Ge, Marc Pantel:
Real-Time Property Specific Reduction for Time Petri Net. 165-179 - Kerstin Irgang, Thomas Irgang:
Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language. 181-200 - Yasir Imtiaz Khan, Nicolas Guelfi:
Slicing High-level Petri Nets. 201-220 - Ikhlef Lyes, Ouiza Lekadir, Djamil Aïssani:
Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets. 221-231 - Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad:
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. 233-248 - Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb:
Compatibility Analysis of Time Open Workflow Nets. 249-268 - Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
Petra: A Tool for Analysing a Process Family. 269-288 - Kent Inge Fagerland Simonsen:
An Evaluation of Automated Code Generation with the PetriCode Approach. 289-306 - Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós
:
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach. 307-322
PART IV: Short Papers
- Kamila Barylska:
Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics. 325-330
PART V: Poster Abstracts
- José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom:
Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. 333-334 - Djaouida Dahmani, Samia Mazouz, Malika Boukala:
Modular Modeling of SMIL Documents with Complex Termination Events. 335-336 - Rawand Guerfel, Zohra Sbaï:
D&A4WSC as a Design and Analysis Framework of Web Services Composition. 337-338 - Markus Huber, Robert Lorenz:
Constructing Petri Net Transducers with PNTooL. 339-341 - Yasir Imtiaz Khan, Nicolas Guelfi:
SLAPN : A Tool for Slicing Algebraic Petri Nets. 343-345 - Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski:
Generating CA-Plans from Multisets of Services. 347-348 - Artur Niewiadomski, Karsten Wolf:
LoLA as Abstract Planning Engine of PlanICS. 349-350 - Artur Niewiadomski, Wojciech Penczek:
PlanICS 2.0 - A Tool for Composing Services. 351-352 - Petr Polasek, Vladimír Janousek, Milan Ceska:
Petri Net Simulation as a Service. 353-362
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 2024-09-26 23:30 CEST 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: