|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Tomas Richta, Vladimír Janousek, Radek Kocí |
Dynamic Software Architecture for Distributed Embedded Control Systems. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello |
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Elvio Gilberto Amparore |
Reengineering the Editor of the GreatSPN Framework. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Jan Henrik Röwekamp, Michael Haustermann |
Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Dennis Schmitz, Lawrence Cabac |
Process-oriented Worksheets for the Support of Teaching Projects. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Ahana Pradhan, Rushikesh K. Joshi |
Lookahead Consistency Models for Dynamic Migration of Workflow Processes. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Sofiane Bendoukha, Thomas Wagner 0003 |
Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud. |
PNSE @ Petri Nets |
2015 |
DBLP BibTeX RDF |
|
21 | Daniel Moldt, Heiko Rölke (eds.) |
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. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt |
Concurrency Models with Causality and Events as Psi-calculi. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem |
Towards Composable Concurrency Abstractions. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev |
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Tony Hoare |
Laws of Programming: The Algebraic Unification of Theories of Concurrency. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Javier Esparza |
Deterministic Negotiations: Concurrency for Free. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Djaouida Dahmani, Samia Mazouz, Malika Boukala |
Modular Modeling of SMIL Documents with Complex Termination Events. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Kamila Barylska |
Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | 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. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Petr Polasek, Vladimír Janousek, Milan Ceska 0001 |
Petri Net Simulation as a Service. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Ning Ge 0002, Marc Pantel |
Real-Time Property Specific Reduction for Time Petri Net. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir |
A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Artur Niewiadomski 0001, Wojciech Penczek |
PlanICS 2.0 - A Tool for Composing Services. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Jörg Desel, Görkem Kilinç 0001 |
Observable Liveness. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Lars Michael Kristensen |
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Dennis M. M. Schunselaar, Eric Verbeek 0001, Wil M. P. van der Aalst, Hajo A. Reijers |
Petra: A Tool for Analysing a Process Family. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi |
Morphisms on Marked Graphs. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb |
Compatibility Analysis of Time Open Workflow Nets. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad |
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Kais Klai |
On-The-Fly Model Checking of Times Properties on Time Petri Nets. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Markus Huber 0006, Robert Lorenz 0001 |
Constructing Petri Net Transducers with PNTooL. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Kent Inge Fagerland Simonsen |
An Evaluation of Automated Code Generation with the PetriCode Approach. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Kerstin Irgang, Thomas Irgang |
Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Artur Niewiadomski 0001, Karsten Wolf |
LoLA as Abstract Planning Engine of PlanICS. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Ramchandra Phawade, Kamal Lodaya |
Kleene Theorems for Labelled Free Choice Nets. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Rawand Guerfel, Zohra Sbaï |
D&A4WSC as a Design and Analysis Framework of Web Services Composition. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | 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. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Artur Niewiadomski 0001, Wojciech Penczek |
SMT-based Abstract Temporal Planning. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Yasir Imtiaz Khan, Nicolas Guelfi |
Slicing High-level Petri Nets. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Mihai-Lica Pura, Didier Buchs |
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Yasir Imtiaz Khan, Nicolas Guelfi |
SLAPN : A Tool for Slicing Algebraic Petri Nets. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Lukasz Mikulski, Artur Niewiadomski 0001, Marcin Piatkowski, Sebastian Smyczynski |
Generating CA-Plans from Multisets of Services. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | 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. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Robin Bergenthum, Joachim Schick |
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
21 | Simon Dobson, Alan Dearle, Barry Porter |
Minimising virtual machine support for concurrency. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Tarmo Uustalu |
Coinductive Big-Step Semantics for Concurrency. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Stéphane Lafortune, Yin Wang 0001, Spyros A. Reveliotis |
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. |
Petri Nets |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer 0001 |
Prototyping a Concurrency Model. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Javier Esparza, Jörg Desel |
On Negotiation as Concurrency Primitive. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Joost-Pieter Katoen |
Concurrency Meets Probability: Theory and Practice - (Abstract). |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado 0001, João M. Fernandes (eds.) |
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010 |
ACSD/Petri Nets Workshops |
2012 |
DBLP BibTeX RDF |
|
21 | Gordon D. Plotkin |
Concurrency and the Algebraic Theory of Effects - (Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Peter Sewell |
False Concurrency and Strange-but-True Machines - (Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Yu Zhou 0006, Terrence S. T. Mak, Alex Yakovlev |
Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ming Fu, Yong Li, Xinyu Feng 0001, Zhong Shao, Yu Zhang 0086 |
Reasoning about Optimistic Concurrency Using a Program Logic for History. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Christian Eisentraut, Holger Hermanns, Lijun Zhang 0001 |
Concurrency and Composition in a Stochastic World. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Baldan, Silvia Crafa |
A Logic for True Concurrency. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Michal Knapik, Wojciech Penczek |
Bounded Model Checking for Parametric Timed Automata. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Carlos A. Rovetto, Elia E. Cano, José Manuel Colom |
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
Towards Automatic Composition of Web Services: A SAT-Based Phase. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi |
Improving the Significance of Benchmarks for Petri Nets Model Checkers. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker |
Process Refinement and Asynchronous Composition with Modalities. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Juan-Pablo López-Grao, José Manuel Colom |
The Resource Allocation Problem in Software Applications: A Petri Net Perspective. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Fei Liu 0006, Monika Heiner |
Colored Petri nets to Model and Simulate Biological Systems. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Robin Bergenthum, Andreas Harrer, Sebastian Mauser |
Modeling and Mining of Collarobative Learnflows. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Kees M. van Hee, Zheng Liu |
Generating Benchmarks by Random Stepwise Refinement of Petri Nets. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek |
Modelling Gradients using Petri Nets. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Marco Mascheroni, Thomas Wagner, Lars Wüstenberg |
Verifying Reference Nets By Means of Hypernets: a Plugin for Renew. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi |
Specification of Decision Diagram Operations. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | João M. Fernandes |
Combining Petri Nets and UML for Model-based Software Engineering. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Mary Ann Blätke, Sonja Meyer 0003, Christoph Stein, Wolfgang Marwan |
Petri Net Modeling via a Modular and Hierarchical Approach Applied to Nociception. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Martin Riesz, Martin Seckár, Gabriel Juhás |
PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Heiko Rölke |
Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires: A Case Study. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Claudine Chaouiya, Monika Heiner |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Piotr Chrzastowski-Wachtel, Jakub Rauch |
IRS-MT: Tool for Intelligent Resource Allocation. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Murad Banaji |
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger |
Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Jörg Desel, Alex Yakovlev |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Thi Thanh Huyen Phan, Koichiro Ochimizu |
Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Ondrej Gallo, Tomás Necas, Fedor Lehocki |
A Tool for the Synthesis of Asynchronous Speed-Independent Circuits. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Monika Heiner, Cristian Mahulea, Manuel Silva Suárez |
On the Importance of the Deadlock Trap Property for Monotonic Liveness. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Daniel Moldt, José Ghislain Quenum, Christine Reese, Thomas Wagner 0003 |
Improving a Workflow Management System with an Agent Flavour. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini |
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Kamila Barylska, Lukasz Mikulski, Edward Ochmanski |
On Persistent Reachability in Petri Nets. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of General Petri Nets with Localities. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Michael Duvigneau, Daniel Moldt |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Roberto Ross-León, Antonio Ramírez-Treviño, José Alejandro Morales, Javier Ruiz-León |
Control of Metabolic Systems Modeled with Timed Continuous Petri Nets. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Marc Solé, Josep Carmona 0001 |
Incremental Process Mining. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Daniel Machado, Rafael S. Costa, Miguel Rocha 0001, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira |
Model Transformation of Metabolic Networks using a Petri Net Based Framework. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero |
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
21 | Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza, Wolfgang De Meuter |
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Arjan J. Mooij, Marc Voorhoeve |
Trading Off Concurrency to Generate Behavioral Adapters. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Frank Puhlmann, Mathias Weske |
A Look Around the Corner: The Pi-Calculus. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova |
A Framework for Linking and Pricing No-Cure-No-Pay Services. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam |
Flexibility in Process-Aware Information Systems. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt |
A Formal Model for Organisational Structures behind Process-Aware Information Systems. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz 0001 |
Construction of Process Models from Example Runs. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen |
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hong Linh Truong 0001, Schahram Dustdar |
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Wil M. P. van der Aalst |
Process-Aware Information Systems: Lessons to Be Learned from Process Mining. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
|
|