| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin |
Ten Years of Saturation: A Petri Net Perspective.  |
T. Petri Nets and Other Models of Concurrency  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Wojciech Penczek |
Bounded Model Checking for Parametric Timed Automata. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker |
Refinement and Asynchronous Composition of Modal Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Westergaard, Lars Michael Kristensen |
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Murad Banaji |
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser |
Modeling and Mining of Learnflows. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
Incremental Process Discovery. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wagner, José Ghislain Quenum, Daniel Moldt, Christine Reese |
Providing an Agent Flavored Integration for Workflow Management. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis Problem for Petri Nets with Localities. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.) |
Transactions on Petri Nets and Other Models of Concurrency V |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan-Pablo López-Grao, José Manuel Colom |
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista |
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. |
T. Petri Nets and Other Models of Concurrency |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Maciej Szreter, Wojciech Penczek |
Bounded Parametric Model Checking for Elementary Net Systems. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Danoy, Pascal Bouvry, Olivier Boissier |
A Multi-Agent Organizational Framework for Coevolutionary Optimization. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran |
On-the-Fly Auditing of Business Processes. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Lars Michael Kristensen |
Search-Order Independent State Caching. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) |
Transactions on Petri Nets and Other Models of Concurrency IV |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier |
Modeling Organizational Units as Modular Components of Systems of Systems. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Mans, Nick C. Russell, Wil M. P. van der Aalst, Arnold J. Moleman, Piet J. M. Bakker |
Schedule-Aware Workflow Management Systems. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
Parametric Model Checking with VerICS. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Agathe Merceron |
Vicinity Respecting Homomorphisms for Abstracting System Requirements. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn |
Soundness of Workflow Nets with Reset Arcs. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness |
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm |
| 1 | Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova |
A Framework for Linking and Pricing No-Cure-No-Pay Services. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Bonnefoi, Christine Choppy, Fabrice Kordon |
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets |
| 1 | Jan Mendling |
Empirical Studies in Process Model Verification. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Wolf |
Does My Service Have Partners?. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Linh Truong, Schahram Dustdar |
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekkart Kindler |
Model-Based Software Engineering and Process-Aware Information Systems. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Model-based Software Engineering (MBSE), Process-aware Information Systems (PAIS), Model-driven Architecture (MDA), Process models, Business Process Modelling |
| 1 | Frank Puhlmann, Mathias Weske |
A Look Around the Corner: The Pi-Calculus. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.) |
Transactions on Petri Nets and Other Models of Concurrency III |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lakos |
Modelling Mobile IP with Mobile Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Peter Massuthe, Jan Bretschneider |
Deciding Substitutability of Services with Operating Guidelines. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Open nets, Service substitutability, Operating guidelines |
| 1 | Niels Lohmann, Eric Verbeek, Remco M. Dijkman |
Petri Net Transformations for Business Processes - A Survey. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Russell, Arthur H. M. ter Hofstede |
newYAWL: Towards Workflow 2.0. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch |
Parameterised Coloured Petri Net Channel Models. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis |
| 1 | Xian Xu |
On Bisimulation Theory in Linear Higher-Order pi-Calculus. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order |
| 1 | Ralph Mietzner, Dimka Karastoyanova, Frank Leymann |
Business Grid: Combining Web Services and the Grid. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Wil M. P. van der Aalst (eds.) |
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen |
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets |
| 1 | Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede |
Designing a Workflow System Using Coloured Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
newYAWL, business process management, coloured Petri nets, workflow patterns, workflow technology |
| 1 | Sami Evangelista, Michael Westergaard, Lars Michael Kristensen |
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
explicit state model checking, hash compaction, delayed duplicate detection, state space reduction, state explosion problem |
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz |
Construction of Process Models from Example Runs. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Cong Yuan |
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing |
| 1 | Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen |
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam |
Flexibility in Process-Aware Information Systems. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Process-Aware Information Systems: Lessons to Be Learned from Process Mining. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt |
A Formal Model for Organisational Structures behind Process-Aware Information Systems. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon |
McMillan's Complete Prefix for Contextual Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
read arcs, complete finite prefix, verification, Petri nets, unfolding |
| 1 | Lawrence Cabac, Nicolas Denz |
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
net components, process mining chains, modeling, Petri nets |
| 1 | Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.) |
Transactions on Petri Nets and Other Models of Concurrency I |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf |
Designing Case Handling Systems. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez |
Elasticity and Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns |
Teaching Concurrency Concepts to Freshmen. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee |
Model Driven Testing Based on Test History. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
Petri nets, software testing, transition systems, stopping criterion |
| 1 | Lars Michael Kristensen, Kurt Jensen |
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux |
Directed Unfolding of Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk |
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
Petri-net synthesis, visualization, attributes, state spaces |
| 1 | Claus Brabrand |
Constructive Alignment for Teaching Model-Based Design for Concurrency. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching |
| 1 | Kristian Bisgaard Lassen, Boudewijn F. van Dongen |
Translating Message Sequence Charts to other Process Languages Using Process Mining. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
synthesis of scenarios-based models, process mining, message sequence charts |
| 1 | Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala |
Time Recursive Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
recursive Petri net, threads, recursivity, time Petri net |
| 1 | Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi |
TAPAs: A Tool for the Analysis of Process Algebras. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")