Parameterized Reachability Trees for Algebraic Petri Nets. - Karsten Schmidt 004 (Application and Theory of Petri Nets, 1995)

On the Computation of Place Invariants for Algebraic Petri Nets. - Karsten Schmidt 004 (STRICT, 1995)

Symbolische Analysemethoden für algebraische Petrinetze. - Karsten Schmidt 004 (Bertz, 1996)

Siphons, Traps and High-Level Nets with Infinite Color Domains. - Karsten Schmidt 004 (ICATPN, 1997)

Verification of Siphons and Traps for Algebraic Petri Nets. - Karsten Schmidt 004 (ICATPN, 1997)

Stubborn Sets for Standard Properties. - Karsten Schmidt 004 (ICATPN, 1999)

LoLA wird Pfadfinder. - Karsten Schmidt 004 (AWPN, 1999)

Model-Checking with Coverability Graphs. - Karsten Schmidt 004 (Formal Methods Syst. Des., 1999)

LoLA: A Low Level Analyser. - Karsten Schmidt 004 (ICATPN, 2000)

Integrating Low Level Symmetries into Reachability Analysis. - Karsten Schmidt 004 (TACAS, 2000)

How to Calculate Symmetries of Petri Nets. - Karsten Schmidt 004 (Acta Informatica, 2000)

Stubborn Sets for Model Checking the EF/AG Fragment of CTL. - Karsten Schmidt 004 (Fundam. Informaticae, 2000)

Narrowing Petri Net State Spaces Using the State Equation. - Karsten Schmidt 004 (Fundam. Informaticae, 2001)

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. - Farn Wang; Karsten Schmidt 004 (FORTE, 2002)

Using Petri Net Invariants in State Space Construction. - Karsten Schmidt 004 (TACAS, 2003)

Distributed Verification with LoLA. - Karsten Schmidt 004 (Fundam. Informaticae, 2003)

Modeling and Model Checking Web Services. - Bernd-Holger Schlingloff; Axel Martens; Karsten Schmidt 004 (LCMAS, 2004)

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. - Farn Wang; Karsten Schmidt 004; Fang Yu 001; Geng-Dian Huang; Bow-Yaw Wang (IEEE Trans. Software Eng., 2004)

Transforming BPEL to Petri Nets. - Sebastian Hinz; Karsten Schmidt 004; Christian Stahl (Business Process Management, 2005)

Controllability of Open Workflow Nets. - Karsten Schmidt 004 (EMISA, 2005)

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. - Peter Massuthe; Karsten Schmidt 004 (QSIC, 2005)

Kommunizierende Workflow-Services modellieren und analysieren. - Wolfgang Reisig; Karsten Schmidt 004; Christian Stahl (Inform. Forsch. Entwickl., 2005)

On the Step Explosion Problem. - Stephan Roch; Karsten Schmidt 004 (ICATPN, 2006)

An Algorithm for Matching Nondeterministic Services with Operating Guidelines. - Peter Massuthe; Karsten Wolf (The Role of Business Processes in Service Oriented Architectures, 2006)

Separability in Conflict-Free Petri Nets. - Eike Best; Javier Esparza; Harro Wimmel; Karsten Wolf (Ershov Memorial Conference, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. - Mirjam Minor; Karsten Schmidt 004 (Modellierung, 2006)

Question-guided stubborn set methods for state properties. - Lars Michael Kristensen; Karsten Schmidt 004; Antti Valmari (Formal Methods Syst. Des., 2006)

Automated generation of a progress measure for the sweep-line method. - Karsten Schmidt 004 (Int. J. Softw. Tools Technol. Transf., 2006)

Operating Guidelines for Finite-State Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (ICATPN, 2007)

Generating Petri Net State Spaces. - Karsten Wolf (ICATPN, 2007)

Behavioral Constraints for Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (BPM, 2007)

From Public Views to Private Views - Correctness-by-Design for Services. - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (WS-FM, 2007)

Challenges in a Service-Oriented World. - Wolfgang Reisig; Karsten Wolf; Jan Bretschneider; Kathrin Kaschner; Niels Lohmann; Peter Massuthe; Christian Stahl (ERCIM News, 2007)

An algorithm for matching non-deterministic services with operating guidelines. - Peter Massuthe; Karsten Wolf (Int. J. Bus. Process. Integr. Manag., 2007)

An Approach to Tackle Livelock-Freedom in SOA. - Christian Stahl; Karsten Wolf (AWPN, 2008)

On Synthesizing Behavior that Is Aware of Semantical Constraints. - Karsten Wolf (AWPN, 2008)

Covering Places and Transitions in Open Nets. - Christian Stahl; Karsten Wolf (BPM, 2008)

Extending the compatibility notion for abstract WS-BPEL processes. - Dieter König; Niels Lohmann; Simon Moser; Christian Stahl; Karsten Wolf (WWW, 2008)

Can I find a partner? Undecidability of partner existence for open nets. - Peter Massuthe; Alexander Serebrenik; Natalia Sidorova; Karsten Wolf (Inf. Process. Lett., 2008)

Petrifying Operating Guidelines for Services. - Niels Lohmann; Karsten Wolf (ACSD, 2009)

Verifying Deadlock- and Livelock Freedom in an SOA Scenario. - Karsten Wolf; Christian Stahl; Janine Ott; Robert Danitz (ACSD, 2009)

Instantaneous Soundness Checking of Industrial Business Process Models. - Dirk Fahland; Cédric Favre; Barbara Jobstmann; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (BPM, 2009)

Set Algebra for Service Behavior: Applications and Constructions. - Kathrin Kaschner; Karsten Wolf (BPM, 2009)

Another Approach to Service Instance Migration. - Nannette Liske; Niels Lohmann; Christian Stahl; Karsten Wolf (ICSOC/ServiceWave, 2009)

Service Interaction: Patterns, Formalization, and Analysis. - Wil M. P. van der Aalst; Arjan J. Mooij; Christian Stahl; Karsten Wolf (SFM, 2009)

Realizability Is Controllability. - Niels Lohmann; Karsten Wolf (WS-FM, 2009)

An efficient necessary condition for compatibility. - Olivia Oanea; Karsten Wolf (ZEUS, 2009)

A finite representation of all substitutable services and its applications. - Jarungjit Parnjai; Christian Stahl; Karsten Wolf (ZEUS, 2009)

A theory of service behavior. - Karsten Wolf (ZEUS, 2009)

Deciding service composition and substitutability using extended operating guidelines. - Christian Stahl; Karsten Wolf (Data Knowl. Eng., 2009)

Does My Service Have Partners?. - Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2009)

New Algorithms for Deciding the Siphon-Trap Property. - Olivia Oanea; Harro Wimmel; Karsten Wolf (Petri Nets, 2010)

Reachability Analysis via Net Structure. - Harro Wimmel; Karsten Wolf (AWPN, 2010)

Decidability Issues for Decentralized Controllability of Open Nets. - Karsten Wolf (AWPN, 2010)

How to Implement a Theory of Correctness in the Area of Business Processes and Services. - Niels Lohmann; Karsten Wolf (BPM, 2010)

Artifact-Centric Choreographies. - Niels Lohmann; Karsten Wolf (ICSOC, 2010)

Service Discovery Using Communication Fingerprints. - Olivia Oanea; Jan Sürmeli; Karsten Wolf (ICSOC, 2010)

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (Comput. J., 2010)

Preface. - Giuliana Franceschinis; Wojciech Penczek; Karsten Wolf (Fundam. Informaticae, 2010)

Finding a Witness Path for Non-liveness in Free-Choice Nets. - Harro Wimmel; Karsten Wolf (Petri Nets, 2011)

Decidability Results for Choreography Realization. - Niels Lohmann; Karsten Wolf (ICSOC, 2011)

Analysis on demand: Instantaneous soundness checking of industrial business process models. - Dirk Fahland; Cédric Favre; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (Data Knowl. Eng., 2011)

Compact Representations and Efficient Algorithms for Operating Guidelines. - Niels Lohmann; Karsten Wolf (Fundam. Informaticae, 2011)

Guaranteeing Weak Termination in Service Discovery. - Karsten Wolf; Christian Stahl; Daniela Weinberg; Janine Ott; Robert Danitz (Fundam. Informaticae, 2011)

Stubborn Sets for Simple Linear Time Properties. - Andreas Lehmann 001; Niels Lohmann; Karsten Wolf (Petri Nets, 2012)

Applying CEGAR to the Petri Net State Equation - Harro Wimmel; Karsten Wolf (Log. Methods Comput. Sci., 2012)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Reducing Adapter Synthesis to Controller Synthesis. - Christian Gierds; Arjan J. Mooij; Karsten Wolf (IEEE Trans. Serv. Comput., 2012)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

Editorial. - Mathias Weske; Stefanie Rinderle-Ma; Farouk Toumani; Karsten Wolf (Inf. Syst., 2013)

From Artifacts to Activities. - Niels Lohmann; Karsten Wolf (Web Services Foundations, 2014)

LoLA as Abstract Planning Engine of PlanICS. - Artur Niewiadomski 001; Karsten Wolf (PNSE @ Petri Nets, 2014)

Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach. - Stefan Rybacki; Fiete Haack; Karsten Wolf; Adelinde M. Uhrmacher (SimuTools, 2014)

Explizites Model Checking: Welche Vorteile bieten Petrinetze? - Karsten Wolf (Inform. Spektrum, 2014)

The Petri net twist in explicit model checking. - Karsten Wolf (Softw. Syst. Model., 2015)

Running LoLA 2.0 in a Model Checking Competition. - Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2016)

Model Checking Concurrency and Causality. - Karsten Wolf (Petri Nets, 2017)

Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. - Ronny Tredup; Christian Rosenke; Karsten Wolf (Petri Nets, 2018)

Petri Net Synthesis with Union/Find. - Karsten Wolf (Petri Nets, 2018)

Petri Net Model Checking with LoLA 2. - Karsten Wolf (Petri Nets, 2018)

A Simple Abstract Interpretation for Petri Net Queries. - Karsten Wolf (PNSE@Petri Nets/ACSD, 2018)

Interleaving Based Model Checking of Concurrency and Causality. - Karsten Wolf (Fundam. Informaticae, 2018)

MCC'2017 - The Seventh Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Gilberto Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Gjøl Jensen; Didier Le Botlan; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Taking Some Burden Off an Explicit CTL Model Checker. - Torsten Liebke; Karsten Wolf (Petri Nets, 2019)

Solving E (φUψ) using the CEGAR Approach. - Torsten Liebke; Karsten Wolf (PNSE@Petri Nets/ACSD, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Synthesis for Various Petri Net Classes with Union/Find. - Karsten Wolf (Fundam. Informaticae, 2019)

How Petri Net Theory Serves Petri Net Model Checking: A Survey. - Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2019)

Verification of Token-Scaling Models using an Under-Approximation. - Torsten Liebke; Karsten Wolf (PNSE@Petri Nets, 2020)

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. - Torsten Liebke; Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2021)

Skeleton Abstraction for Universal Temporal Properties. - Sophie Wallner; Karsten Wolf (Fundam. Informaticae, 2022)

Using Approximation for the Verification of Token-Scaling Models. - Torsten Liebke; Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2022)

Portfolio Management in Explicit Model Checking. - Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2022)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

Modular State Spaces - A New Perspective. - Julian Gaede; Sophie Wallner; Karsten Wolf (Petri Nets, 2024)

How to Verify Aggregating Global Properties. - Karsten Wolf (PNSE@Petri Nets, 2024)

Verifying Temporal Logic Properties in the Modular State Space. - Lukas Zech; Karsten Wolf (Petri Nets, 2024)