![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
PNSE @ Petri Nets 2015: Brussels, Belgium
- Daniel Moldt, Heiko Rölke, Harald Störrle:
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. CEUR Workshop Proceedings 1372, CEUR-WS.org 2015
Invited Talks
- Nicolas Guelfi:
Software Engineering and Modeling Education: Problems and Solutions. 17 - Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. 19-21
Long Presentations
- Étienne André, Laure Petrucci:
Unifying Patterns for Modelling Timed Relationships in Systems and Properties. 25-40 - Jörg Desel, Javier Esparza:
Negotiations and Petri Nets. 41-57 - Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. 59-78 - Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. 79-98 - David Mosteller, Lawrence Cabac, Michael Haustermann:
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework. 99-114 - Somsak Vanit-Anunchai:
Validating DCCP Simultaneous Feature Negotiation Procedure. 115-132 - Tomas Richta, Vladimír Janousek, Radek Kocí:
Dynamic Software Architecture for Distributed Embedded Control Systems. 133-150
Short Presentations
- Elvio Gilberto Amparore:
Reengineering the Editor of the GreatSPN Framework. 153-170 - Sofiane Bendoukha, Thomas Wagner:
Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud. 171-189 - Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang:
Modelling the Behaviour of Management Operations in Cloud-based Applications. 191-205 - Bowen Li, Maciej Koutny:
Unfolding CSPT-nets. 207-226 - Jan Martijn E. M. van der Werf, Erwin Kaats:
Discovery of Functional Architectures From Event Logs. 227-243 - Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann:
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. 245-265 - Ahana Pradhan, Rushikesh K. Joshi:
Lookahead Consistency Models for Dynamic Migration of Workflow Processes. 267-286 - Ahana Pradhan, Rushikesh K. Joshi:
Catalog-based Token Transportation in Acyclic Block-Structured WF-nets. 287-307
Poster Abstracts
- Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damiani, Fulvio Frati, Francesco Zavatarelli:
De-Materializing Local Public Administration Processes. 311-312 - Lawrence Cabac, Michael Haustermann, David Mosteller:
Renew - The Reference Net Workshop. 313-314 - Camille Coti, Sami Evangelista, Kais Klai:
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. 315-316 - Jan Hicken, Lawrence Cabac, Michael Haustermann:
Introducing the Quick Fix for the Petri Net Modeling Tool Renew. 317-318 - Dennis Schmitz, Lawrence Cabac:
Process-oriented Worksheets for the Support of Teaching Projects. 319-320 - Christian Röder, Lawrence Cabac:
Integrating Network Technique into Distributed Agent-Oriented Software Development Projects. 321-322 - Jan Henrik Röwekamp, Michael Haustermann:
Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT. 323-324 - Adja Ndeye Sylla, Maxime Louvel, François Pacull:
Coordination Rules Generation from Coloured Petri Net Models. 325-326
![](https://dblp.org/img/cog.dark.24x24.png)
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.