|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4444 occurrences of 1511 keywords
|
|
|
Results
Found 8808 publication records. Showing 8808 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Jan Henrik Röwekamp, Marvin Taube, Patrick Mohr, Daniel Moldt |
Cloud Native Simulation of Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 85-104, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Jan Henrik Röwekamp, Manuela Buchholz, Daniel Moldt |
Petri Net Sagas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 65-84, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | David de Frutos-Escrig |
Distributed Population Protocols: Naturally! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 213-232, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Michael Müller, Michael Köhler-Bußmeier |
Availability Analysis of the ONOS Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 41-64, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Kent Inge Fagerland Simonsen |
On Modelling Cloud Native Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 253-254, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Madiou Diallo, Benny Akesson, Debjyoti Bera, Ronald Begeer |
Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 195-212, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Joel Greenyer |
Scenario-Based Modeling and Programming of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 241-252, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Rakshit Mittal, Soumyadip Bandyopadhyay |
Translation Validation of Scheduled Conditional Behavior using PN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 257-258, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
74 | Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Karsten Wolf |
Portfolio Management in Explicit Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 10-28, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Aishah Ahmed, Marta Pietkiewicz-Koutny |
Algorithms for the Synthesis of Elementary Net Systems with Localities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 86-107, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Johan Arcile, Raymond R. Devillers, Hanna Klaudel |
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 29-48, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Bjarne Jessen, Daniel Moldt |
Some Simple Extensions of Petri's Cycloids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 194-213, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Sven Willrodt, Daniel Moldt, Michael Simon |
Modular Model Checking of Reference Nets: MoMoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 181-193, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Dennis Schmitz, Matthias Feldmann, Daniel Moldt |
Analyzing Software Engineering Courses with Process Mining and Business Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 220-221, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay |
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 138-146, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello |
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 49-67, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin |
Modeling Trading Systems using Petri Net Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 118-137, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Torsten Liebke, Christian Rosenke |
Faster Enabledness-Updates for the Reachability Graph Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 108-117, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Torsten Liebke, Karsten Wolf |
Verification of Token-Scaling Models using an Under-Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 1-9, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Torsten Liebke |
Büchi-Automata guided Partial Order Reduction for LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 147-166, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Wen Zeng, Vasileios Germanos |
Quantitative Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 216-217, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
74 | Daniel Moldt, Ekkart Kindler, Manuel Wimmer (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.) |
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Elena Gómez-Martínez, Juan de Lara, Esther Guerra |
Towards Extensible Structural Analysis of Petri Net Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 37-46, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Talal Alharbi, Maciej Koutny |
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 93-108, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza |
PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 73-90, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki |
Petri Meta-Compiler - A Recursive Approach to System Design and Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 109-126, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Jan Mendling |
Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 11-12, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Wen Zeng, Vasileios Germanos |
Modelling Hybrid Cyber Kill Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 143-160, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt |
A First Prototype for the Visualization of the Reachability Graph of Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 165-166, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Torsten Liebke, Karsten Wolf |
Solving E (φUψ) using the CEGAR Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 47-56, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Maxi Weichenhain, Wolfgang Fengler 0001 |
A Petri Net Table Model Applied to Classic and Agile Project Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 127-142, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle |
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 57-72, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon |
Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019., pp. 163-164, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel |
Two Operations for Stable Structures of Elementary Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 36-53, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili |
Emails Analysis for Business Process Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 54-70, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Alessandro Berti, Wil M. P. van der Aalst |
Reviving Token-based Replay: Increasing Speed While Improving Diagnostics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 87-103, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa |
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 6-22, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Jörg Desel |
Can a Single Transition Stop an Entire Net? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 23-35, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Ronny Tredup, Christian Rosenke |
On the Hardness of Synthesizing Boolean Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019., pp. 71-86, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
74 | Daniel Moldt, Ekkart Kindler, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Rozália Lakner, Ferenc Friedler, Botond Bertók |
P-graph Algorithms for Petri Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 173-174, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Talal Alharbi, Maciej Koutny |
Visualising Data Sets in Structured Occurrence Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 121-132, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann |
Investigation of Containerizing Distributed Petri Net Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 133-142, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Karsten Wolf |
A Simple Abstract Interpretation for Petri Net Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 163-170, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva |
The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 143-162, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs |
Petri Sport: A Sport for Petri Netters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 35-56, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Ramchandra Phawade |
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 77-98, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz |
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 57-76, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle |
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 99-118, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa |
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018., pp. 15-34, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
74 | Daniel Moldt, Lawrence Cabac, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Rui Wang 0048, Lars Michael Kristensen, Hein Meling, Volker Stolz |
Application of Model-based Testing on a Quorum-based Distributed Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 177-196, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | José Ángel Bañares |
Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 13-26, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Simona Bernardi 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 225-226, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Karima Ennaoui, Lhouari Nourine, Farouk Toumani |
Complexity Aspects of Web Services Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 85-104, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz |
Simulating Multiple Formalisms Concurrently Based on Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 137-156, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali |
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 69-84, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel |
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 227-228, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 229-230, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 157-176, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Martin Wincierz |
A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 197-214, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Oscar Urra, Sergio Ilarri |
Modeling Mobile Agents in Vehicular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., pp. 233-238, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
74 | Monika Heiner, Annegret Katrin Wagler (eds.) |
Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
74 | Mary Ann Blätke, Christian Rohr |
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 37-54, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
74 | Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno |
Dependent shrink for Petri net models of signaling pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 85-99, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
74 | Qi-Wei Ge, Ren Wu, Mitsuru Nakata |
On Modeling internal organs and meridian system based on traditional Chinese medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 55-69, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
74 | Luis Miguel Torres, Annegret Katrin Wagler |
The dynamics of deterministic systems - A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 1-20, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
74 | Mohamed Khalgui, Zhiwu Li 0001 (eds.) |
ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Monika Heiner (eds.) |
Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen |
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 36-51, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Laïd Kahloul, Allaoua Chaoui, Karim Djouani, Samir Bourekkache, Okba Kazar |
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 1-19, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Murat Uzam, Zhiwu Li 0001, Umar Suleiman Abubakar |
A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 68-82, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui |
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 52-67, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace |
Systemic approach for toxicity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 30-44, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek |
A multi-scale extensive Petri net model of the bacterial-macrophage interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 15-29, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Marco Beccuti |
Mathematical models on cancer progression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 1-2, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Marie C. F. Favre, Wolfgang Marwan, Annegret Wagler |
Integrating a priori knowledge in automatic network reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 45-59, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
74 | Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.) |
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![Springer, 3-540-22261-8 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
74 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 66-86, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Reiko Heckel, Hendrik Voigt |
Model-Based Development of Executable Business Processes for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 559-584, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Blaise Genest, Anca Muscholl, Doron A. Peled |
Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 537-558, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Philippe Darondeau |
Unbounded Petri Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 413-438, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Johan Bengtsson, Wang Yi 0001 |
Timed Automata: Semantics, Algorithms and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 87-124, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Abhik Roychoudhury, P. S. Thiagarajan |
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 789-818, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Gabriel Juhás, Robert Lorenz 0001, Christian Neumair |
Modelling and Control with Modules of Signal Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 585-625, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Mogens Nielsen, Frank D. Valencia |
Notes on Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 702-741, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Wolfgang Reisig, Grzegorz Rozenberg (eds.) |
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets (2) ![Springer, 3-540-65307-4 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
74 | Wolfgang Reisig, Grzegorz Rozenberg (eds.) |
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![Springer, 3-540-65306-6 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
74 | Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter |
Distributed Algorithms for Networks of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets (2) ![In: Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 331-385, 1996, Springer, 3-540-65307-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Giuliana Franceschinis, Marina Ribaudo |
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets (2) ![In: Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 386-437, 1996, Springer, 3-540-65307-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Susanna Donatelli, Giuliana Franceschinis |
Modelling and Analysis of Distributed Software Using GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets (2) ![In: Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 438-476, 1996, Springer, 3-540-65307-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Manuel Silva Suárez, Enrique Teruel, José Manuel Colom |
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 309-373, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Antti Valmari |
The State Explosion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 429-528, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Grzegorz Rozenberg, Joost Engelfriet |
Elementary Net Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 12-121, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Éric Badouel, Philippe Darondeau |
Theory of Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 529-586, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Einar Smith |
Principles of High-Level Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 174-210, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Jörg Desel |
Basic Linear Algebraic Techniques for Place or Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 257-308, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Javier Esparza |
Decidability and Complexity of Petri Net Problems - An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp. 374-428, 1996, Springer, 3-540-65306-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 8808 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|