On the public citation graph

Applications and Theory of Petri Nets 2005

https://doi.org/10.1007/b136988
0 signed · 195 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11494744_17openalex-snapshot
Can I Execute My Scenario in Your Net?

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11537328_7openalex-snapshot
Memory Efficient State Space Storage in Explicit Software Model Checking
inferred← citeshttps://doi.org/10.1007/11538394_41openalex-snapshot
Verification of SAP Reference Models
inferred← citeshttps://doi.org/10.1007/11538394_7openalex-snapshot
The Price of Coordination in Resource Management
inferred← citeshttps://doi.org/10.1007/11568322_5openalex-snapshot
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
inferred← citeshttps://doi.org/10.1007/11575771_11openalex-snapshot
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
inferred← citeshttps://doi.org/10.1007/11678564_16openalex-snapshot
Mining Staff Assignment Rules from Event-Based Data
inferred← citeshttps://doi.org/10.1007/11767589_11openalex-snapshot
From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
inferred← citeshttps://doi.org/10.1007/11767589_12openalex-snapshot
How Expressive Are Petri Net Schemata?
inferred← citeshttps://doi.org/10.1007/11767589_17openalex-snapshot
Towards Synthesis of Petri Nets from Scenarios
inferred← citeshttps://doi.org/10.1007/11767589_21openalex-snapshot
Can I Execute My Scenario in Your Net? VipTool Tells You!
inferred← citeshttps://doi.org/10.1007/11767589_22openalex-snapshot
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
inferred← citeshttps://doi.org/10.1007/11767589_9openalex-snapshot
On the Computation of Stubborn Sets of Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/11837862_10openalex-snapshot
A Generic Import Framework for Process Event Logs
inferred← citeshttps://doi.org/10.1007/11837862_18openalex-snapshot
A Declarative Approach for Flexible Business Processes Management
inferred← citeshttps://doi.org/10.1007/11841760_10openalex-snapshot
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
inferred← citeshttps://doi.org/10.1007/11841760_12openalex-snapshot
On the Suitability of BPMN for Business Process Modelling
inferred← citeshttps://doi.org/10.1007/11841760_13openalex-snapshot
Workflow Model Compositions Preserving Relaxed Soundness
inferred← citeshttps://doi.org/10.1007/11841760_15openalex-snapshot
A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems
inferred← citeshttps://doi.org/10.1007/11841760_17openalex-snapshot
On Representing, Purging, and Utilizing Change Logs in Process Management Systems
inferred← citeshttps://doi.org/10.1007/11841760_28openalex-snapshot
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
inferred← citeshttps://doi.org/10.1007/11841760_5openalex-snapshot
Beyond Workflow Mining
inferred← citeshttps://doi.org/10.1007/11880646_5openalex-snapshot
Qualitative Petri Net Modelling of Genetic Networks
inferred← citeshttps://doi.org/10.1007/11885191_15openalex-snapshot
Compositional Reachability Analysis of Genetic Networks
inferred← citeshttps://doi.org/10.1007/11888116_18openalex-snapshot
A New Approach for Concurrent Program Slicing
inferred← citeshttps://doi.org/10.1007/11914853_16openalex-snapshot
Evaluation of Technical Measures for Workflow Similarity Based on a Pilot Study
inferred← citeshttps://doi.org/10.1007/11914853_19openalex-snapshot
Change Mining in Adaptive Process Management Systems
inferred← citeshttps://doi.org/10.1007/11914853_9openalex-snapshot
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_15openalex-snapshot
Diagnosis with Petri Net Unfoldings
inferred← citeshttps://doi.org/10.1007/978-3-319-01781-5_6openalex-snapshot
An Application of Process Mining to Invoice Verification Process in SAP
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_16openalex-snapshot
Multi-threaded Explicit State Space Exploration with State Reconstruction
inferred← citeshttps://doi.org/10.1007/978-3-319-02922-1_6openalex-snapshot
DTMiner: A Tool for Decision Making Based on Historical Process Data
inferred← citeshttps://doi.org/10.1007/978-3-319-07233-3_27openalex-snapshot
Combining Design of Models for Smart Environments with Pattern-Based Extraction
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_6openalex-snapshot
Discovering Block-Structured Process Models from Incomplete Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-319-07881-6_36openalex-snapshot
Mining Predictive Process Models out of Low-level Multidimensional Logs
inferred← citeshttps://doi.org/10.1007/978-3-319-08915-7_10openalex-snapshot
Evolution as ≪Reflections on the Design≫
inferred← citeshttps://doi.org/10.1007/978-3-319-09492-2_19openalex-snapshot
Re-learning of Business Process Models from Legacy System Using Incremental Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-319-10085-2_30openalex-snapshot
Secure Data Integration: A Formal Concept Analysis Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-11370-8_18openalex-snapshot
Aspect Mining in Business Process Management
inferred← citeshttps://doi.org/10.1007/978-3-319-11958-8_14openalex-snapshot
Directed Acyclic Graph Extraction from Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-319-13281-5_1openalex-snapshot
Knowledge-Intensive Medical Process Similarity
inferred← citeshttps://doi.org/10.1007/978-3-319-19237-6_7openalex-snapshot
Multidimensional Process Mining Using Process Cubes
inferred← citeshttps://doi.org/10.1007/978-3-540-68234-9_7openalex-snapshot
A Core Ontology for Business Process Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_25openalex-snapshot
On the Synthesis of Zero-Safe Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_7openalex-snapshot
Transformations in Reconfigurable Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_16openalex-snapshot
Hierarchical Set Decision Diagrams and Automatic Saturation
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_6openalex-snapshot
Faster Unfolding of General Petri Nets Based on Token Flows
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_9openalex-snapshot
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_24openalex-snapshot
Distributed Colored Petri Net Model-Checking with Cyclades
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_29openalex-snapshot
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-71701-0_14openalex-snapshot
σ-Algorithm: Structured Workflow Process Mining Through Amalgamating Temporal Workcases
inferred← citeshttps://doi.org/10.1007/978-3-540-72426-1_15openalex-snapshot
Process Mining Framework for Software Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-72524-4_38openalex-snapshot
Mining Invisible Tasks from Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-540-72588-6_44openalex-snapshot
Analyzing Data Dependence Based on Workflow Net
inferred← citeshttps://doi.org/10.1007/978-3-540-72863-4_66openalex-snapshot
Optimization of Workflow Resources Allocation with Cost Constraint
inferred← citeshttps://doi.org/10.1007/978-3-540-72988-4_31openalex-snapshot
Formalization and Verification of EPCs with OR-Joins Based on State and Context
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_15openalex-snapshot
Combining Decomposition and Unfolding for STG Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_17openalex-snapshot
Web Service Orchestration with Super-Dual Object Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_28openalex-snapshot
ProM 4.0: Comprehensive Support for Real Process Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_7openalex-snapshot
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_9openalex-snapshot
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73370-6_7openalex-snapshot
Some Solutions to the Ignoring Problem
inferred← citeshttps://doi.org/10.1007/978-3-540-75183-0_24openalex-snapshot
Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics
inferred← citeshttps://doi.org/10.1007/978-3-540-75183-0_26openalex-snapshot
Approaching Process Mining with Sequence Clustering: Experiments and Findings
inferred← citeshttps://doi.org/10.1007/978-3-540-75183-0_3openalex-snapshot
On the Performance of Workflow Processes with Distributed Actors: Does Place Matter?
inferred← citeshttps://doi.org/10.1007/978-3-540-75254-7_44openalex-snapshot
Plugin-Agents as Conceptual Basis for Flexible Software Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_25openalex-snapshot
Nested Petri Nets for Adaptive Process Modeling
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_15openalex-snapshot
Transforming Object-Oriented Models to Process-Oriented Models
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_21openalex-snapshot
Transforming XPDL to Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_37openalex-snapshot
Adaptive Workflows for Healthcare Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_5openalex-snapshot
Preprocessing Support for Large Scale Process Mining of SAP Transactions
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_8openalex-snapshot
Business Process Simulation for Operational Decision Support
inferred← citeshttps://doi.org/10.1007/978-3-540-85654-2_61openalex-snapshot
A Grid-Based Multi-relational Approach to Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-540-85758-7_29openalex-snapshot
Oryx – An Open Modeling Platform for the BPM Community
inferred← citeshttps://doi.org/10.1007/978-3-540-85762-4_13openalex-snapshot
Towards Efficient Verification of Systems with Dynamic Process Creation
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_3openalex-snapshot
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_2openalex-snapshot
Discovery, Verification and Conformance of Workflows with Cancellation
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_6openalex-snapshot
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-89784-2_3openalex-snapshot
Process Mining towards Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-93851-4_18openalex-snapshot
Towards a Methodology for Semantic Business Process Modeling and Configuration
inferred← citeshttps://doi.org/10.1007/978-3-540-95891-8_36openalex-snapshot
Partial Order Semantics of Types of Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_25openalex-snapshot
Towards Process Models for Disaster Response
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_68openalex-snapshot
Automating Knowledge Transfer and Creation in Knowledge Intensive Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-00596-1_27openalex-snapshot
Concurrency, σ-Algebras, and Probabilistic Fairness
inferred← citeshttps://doi.org/10.1007/978-3-642-00670-8_10openalex-snapshot
Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_16openalex-snapshot
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_3openalex-snapshot
Petri Net Transformations for Business Processes – A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_5openalex-snapshot
newYAWL: Towards Workflow 2.0
inferred← citeshttps://doi.org/10.1007/978-3-642-01190-0_15openalex-snapshot
Strategy-Driven Business Process Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-01190-0_16openalex-snapshot
Case Construction for Mining Supply Chain Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-01862-6_14openalex-snapshot
Pattern Mining in System Logs: Opportunities for Process Improvement
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_15openalex-snapshot
Hornets: Nets within Nets Combined with Net Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_2openalex-snapshot
Unifying Petri Net Semantics with Token Flows
inferred← citeshttps://doi.org/10.1007/978-3-642-03603-3_12openalex-snapshot
Agent Assignment for Process Management: Pattern Based Agent Performance Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-03848-8_1openalex-snapshot
A Collaboration and Productiveness Analysis of the BPM Community
inferred← citeshttps://doi.org/10.1007/978-3-642-03848-8_11openalex-snapshot
Discovering Process Models from Unlabelled Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_7openalex-snapshot
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_1openalex-snapshot
Designing a Workflow System Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_36openalex-snapshot
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-10430-5_82openalex-snapshot
Mining Process Flowcharts from Business Data: An Evolutionary Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-11750-3_6openalex-snapshot
The Perseveration Syndrome in the Pilot’s Activity: Guidelines and Cognitive Countermeasures
inferred← citeshttps://doi.org/10.1007/978-3-642-12186-9_10openalex-snapshot
Understanding Spaghetti Models with Sequence Clustering for ProM
inferred← citeshttps://doi.org/10.1007/978-3-642-12186-9_47openalex-snapshot
A Comparison of Soundness Results Obtained by Different Approaches
inferred← citeshttps://doi.org/10.1007/978-3-642-12186-9_49openalex-snapshot
BPMNCommunity.org: A Forum for Process Modeling Practitioners – A Data Repository for Empirical BPM Research
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_1openalex-snapshot
Instance Deadlock: A Mystery behind Frozen Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_10openalex-snapshot
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-15618-2_16openalex-snapshot
A Fresh Look at Precision in Process Conformance
inferred← citeshttps://doi.org/10.1007/978-3-642-15618-2_21openalex-snapshot
A New Semantics for the Inclusive Converging Gateway in Safe Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-15784-4_6openalex-snapshot
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-15880-3_18openalex-snapshot
Process Mining Meets Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-642-15928-2_32openalex-snapshot
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16132-2_28openalex-snapshot
Applying Process Mining in SOA Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-16961-8_91openalex-snapshot
Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model
inferred← citeshttps://doi.org/10.1007/978-3-642-17722-4_5openalex-snapshot
XES, XESame, and ProM 6
inferred← citeshttps://doi.org/10.1007/978-3-642-18381-2_4openalex-snapshot
Verification of Timed-Arc Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-19802-1_21openalex-snapshot
Process Mining for Job Nets in Integrated Enterprise Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20152-3_13openalex-snapshot
Querying Business Process Models Based on Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-20511-8_20openalex-snapshot
PLG: A Framework for the Generation of Business Process Models and Their Execution Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-21599-5_1openalex-snapshot
Verifying Trustworthiness of Virtual Appliances in Collaborative Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-22056-2_30openalex-snapshot
Integrating Computer Log Files for Process Mining: A Genetic Algorithm Inspired Technique
inferred← citeshttps://doi.org/10.1007/978-3-642-23178-0_23openalex-snapshot
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-23768-3_70openalex-snapshot
Elaborating Analysis Models with Tool Support
inferred← citeshttps://doi.org/10.1007/978-3-642-25953-1_15openalex-snapshot
Information Resource Recommendation in Knowledge Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-27951-5_39openalex-snapshot
Generating Inductive Invariants for Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-28108-2_11openalex-snapshot
Discovering User Communities in Large Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-28115-0_28openalex-snapshot
A Modular Approach to Build Workflow Engines
inferred← citeshttps://doi.org/10.1007/978-3-642-28115-0_42openalex-snapshot
Modeling Business Rules for Supervisory Control of Process-Aware Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28115-0_5openalex-snapshot
Analysing Differences between Business Process Similarity Measures
inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_36openalex-snapshot
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-29072-5_10openalex-snapshot
Incremental Process Discovery
inferred← citeshttps://doi.org/10.1007/978-3-642-29834-9_9openalex-snapshot
Applying Process Analysis to the Italian eGovernment Enterprise Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-30428-6_7openalex-snapshot
Process Mining and Security: Visualization in Database Intrusion Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-30947-2_47openalex-snapshot
Agent-Based Analysis and Detection of Functional Faults of Vehicle Industry Processes: A Process Mining Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_20openalex-snapshot
P- and T-Systems in the Nets-within-Nets-Formalism
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_4openalex-snapshot
An SMT-Based Discovery Algorithm for C-Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_7openalex-snapshot
Cost Soundness for Priced Resource-Constrained Workflow Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_9openalex-snapshot
On Profiles and Footprints – Relational Semantics for Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31739-2_11openalex-snapshot
Knowledge Extraction from Events Flows
inferred← citeshttps://doi.org/10.1007/978-3-642-33606-5_19openalex-snapshot
On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery
inferred← citeshttps://doi.org/10.1007/978-3-642-34044-4_3openalex-snapshot
Towards Improving the Representational Bias of Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-34044-4_9openalex-snapshot
Discovering Workflow Changes with Time-Based Trace Clustering
inferred← citeshttps://doi.org/10.1007/978-3-642-34156-4_10openalex-snapshot
Online Techniques for Dealing with Concept Drift in Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_8openalex-snapshot
Report on the Model Checking Contest at Petri Nets 2011
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_9openalex-snapshot
Modelling and Formal Verification of the NEO Protocol
inferred← citeshttps://doi.org/10.1007/978-3-642-36285-9_17openalex-snapshot
End-to-End Process Extraction in Process Unaware Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-36285-9_20openalex-snapshot
MANA: Identifying and Mining Unstructured Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-36285-9_33openalex-snapshot
Evaluating Social Tagging for Business Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-36438-9_9openalex-snapshot
Embedding Conformance Checking in a Process Intelligence System in Hospital Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-36815-8_3openalex-snapshot
Model of Rules for IT Organization Evolution
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_23openalex-snapshot
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_4openalex-snapshot
Business Process Modeling Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38484-4_15openalex-snapshot
Multi-perspective Business Process Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-38484-4_33openalex-snapshot
Process Mining Versus Intention Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_17openalex-snapshot
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_18openalex-snapshot
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_9openalex-snapshot
Complexity Results for Elementary Hornets
inferred← citeshttps://doi.org/10.1007/978-3-642-38827-9_8openalex-snapshot
ERP Event Log Preprocessing: Timestamps vs. Accounting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-39056-2_17openalex-snapshot
Mining and Retrieving Medical Processes to Assess the Quality of Care
inferred← citeshttps://doi.org/10.1007/978-3-642-40090-2_10openalex-snapshot
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-40919-6_4openalex-snapshot
Process Prediction in Noisy Data Sets: A Case Study in a Dutch Hospital
inferred← citeshttps://doi.org/10.1007/978-3-642-45343-4_15openalex-snapshot
Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-53856-8_56openalex-snapshot
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-43745-2_15openalex-snapshot
Supervised vs. Unsupervised Learning for Intentional Process Model Discovery
inferred← citeshttps://doi.org/10.1007/978-3-662-45563-0_5openalex-snapshot
Log-Based Understanding of Business Processes through Temporal Logic Query Checking
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_1openalex-snapshot
Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_3openalex-snapshot
Software Engineering with Petri Nets: A Web Service and Agent Perspective
inferred← citeshttps://doi.org/10.1007/s00607-024-01299-6openalex-snapshot
Business process discovery as a service with event log privacy and access control over discovered models
inferred← citeshttps://doi.org/10.1016/j.compind.2011.11.003openalex-snapshot
A comparative survey of business process similarity measures
inferred← citeshttps://doi.org/10.1016/j.compind.2018.04.020openalex-snapshot
Belief network discovery from event logs for business process analysis
inferred← citeshttps://doi.org/10.1016/j.datak.2007.06.010openalex-snapshot
Quantifying process equivalence based on observed behavior
inferred← citeshttps://doi.org/10.1016/j.datak.2015.12.002openalex-snapshot
Performance assessment architecture for collaborative business processes in BPM-SOA-based environment
inferred← citeshttps://doi.org/10.1016/j.dss.2015.07.005openalex-snapshot
Automated planning of process models: Design of a novel approach to construct exclusive choices
inferred← citeshttps://doi.org/10.1016/j.dss.2015.07.007openalex-snapshot
Event interval analysis: Why do processes take time?
inferred← citeshttps://doi.org/10.1016/j.eswa.2012.03.064openalex-snapshot
Discovering process models from event multiset
inferred← citeshttps://doi.org/10.1016/j.eswa.2014.03.005openalex-snapshot
Verifying soundness of business processes: A decision process Petri nets approach
inferred← citeshttps://doi.org/10.1016/j.eswa.2015.08.004openalex-snapshot
Context-adaptive Petri nets: Supporting adaptation for the execution context
inferred← citeshttps://doi.org/10.1016/j.eswa.2017.05.069openalex-snapshot
Run-time prediction of business process indicators using evolutionary decision rules
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.02.006openalex-snapshot
Semantics and analysis of business process models in BPMN
inferred← citeshttps://doi.org/10.1016/j.ins.2014.09.057openalex-snapshot
ProDiGen: Mining complete, precise and minimal structure process models with a genetic algorithm
inferred← citeshttps://doi.org/10.1016/j.ins.2016.09.008openalex-snapshot
Enhancing discovered processes with duplicate tasks
inferred← citeshttps://doi.org/10.1016/j.ins.2023.119958openalex-snapshot
Defining and visualizing process execution variants from partially ordered event data
inferred← citeshttps://doi.org/10.1016/j.is.2013.06.005openalex-snapshot
A process-oriented methodology for evaluating the impact of IT: A proposal and an application in healthcare
inferred← citeshttps://doi.org/10.1016/j.is.2023.102176openalex-snapshot
Quantifying chatbots’ ability to learn business processes
inferred← citeshttps://doi.org/10.1016/j.jbi.2006.12.002openalex-snapshot
Interacting agents through a web-based health serviceflow management system
inferred← citeshttps://doi.org/10.1016/j.jss.2013.11.1111openalex-snapshot
Process fragmentation, distribution and execution using an event-based interaction scheme
inferred← citeshttps://doi.org/10.1016/j.peva.2021.102192openalex-snapshot
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems
inferred← citeshttps://doi.org/10.1016/j.scico.2016.08.008openalex-snapshot
Symmetry reduction for time Petri net state classes
inferred← citeshttps://doi.org/10.1109/cidm.2013.6597227openalex-snapshot
Wanna improve process mining results?
inferred← citeshttps://doi.org/10.1109/iciii.2011.136openalex-snapshot
Research on Process of Coal Mine Emergency Plan Based on Stochastic Petri Net
inferred← citeshttps://doi.org/10.1109/wicom.2008.2865openalex-snapshot
Dynamic Analysis for Complex Information System Based on Nested Petri Nets
inferred← citeshttps://doi.org/10.1145/2518102openalex-snapshot
A menagerie of timed automata
inferred← citeshttps://doi.org/10.1145/2695664.2695803openalex-snapshot
Symmetry reduced state classes for time petri nets
inferred← citeshttps://doi.org/10.3390/fintech2010009openalex-snapshot
Using Process Mining to Reduce Fraud in Digital Onboarding
inferred← citeshttps://doi.org/10.3390/su13168980openalex-snapshot
Candidate Digital Tasks Selection Methodology for Automation with Robotic Process Automation
inferred← citeshttps://doi.org/10.3390/su162210064openalex-snapshot
Enhancing Construction Management Digital Twins Through Process Mining of Progress Logs
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.