Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link
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