PNSE @ Petri Nets

Keyphrases

Publications

2017

Vladimir A. Bashkin
On the Resource Equivalences in Petri nets with Invisible Transitions. PNSE @ Petri Nets (2017)
Oscar Urra, Sergio Ilarri
Modeling Mobile Agents in Vehicular Networks. PNSE @ Petri Nets (2017)
Martin Wincierz
A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents. PNSE @ Petri Nets (2017)
Karima Ennaoui, Lhouari Nourine, Farouk Toumani
Complexity Aspects of Web Services Composition. PNSE @ Petri Nets (2017)
Soumia Mancer, Hammadi Bennoui
Coloured Petri Nets Based Diagnosis on Causal Models. PNSE @ Petri Nets (2017)
Julia Padberg
Verification of Reconfigurable Petri Nets. PNSE @ Petri Nets (2017)
Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski
GPU Computations and Memory Access Model Based on Petri Nets. PNSE @ Petri Nets (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets (2017)
Rowland Pitts, Hassan Gomaa
Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets. PNSE @ Petri Nets (2017)
Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. PNSE @ Petri Nets (2017)
Simona Bernardi, Raúl Piraces Alastuey, Alejandro Solanas Bonilla, Raquel Trillo Lado
Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases. PNSE @ Petri Nets (2017)
José Ángel Bañares
Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications. PNSE @ Petri Nets (2017)
José Jean-Paul Zanlucchi de Souza Tavares, Rodrigo Hiroshi Murofushi, Lucas Henriques Silva, Gustavo Rezende Silva
Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control. PNSE @ Petri Nets (2017)
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
Simulating Multiple Formalisms Concurrently Based on Reference Nets. PNSE @ Petri Nets (2017)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets (2017)
João Paulo da Silva Fonseca, José Jean-Paul Zanlucchi de Souza Tavares
Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings. PNSE @ Petri Nets (2017)
Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. PNSE @ Petri Nets (2017)

2016

volume 1591, 2016

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. PNSE @ Petri Nets 1591 (2016)

2015

volume 1372, 2015

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. PNSE @ Petri Nets 1372 (2015)