On the public citation graph
Partial (set) 2-structures
0 signed · 211 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-17906-2openalex-snapshot
Petri Nets: Applications and Relationships to Other Models of Concurrency
inferredcites →https://doi.org/10.1007/978-3-540-47919-2openalex-snapshot
Petri Nets: Central Models and Their Properties
inferredcites →https://doi.org/10.1007/bfb0027048openalex-snapshot
Petri nets: Basic notions, structure, behaviour
inferredcites →https://doi.org/10.1016/0304-3975(90)90129-6openalex-snapshot
Theory of 2-structures, part I: Clans, basic subclasses, and morphisms
inferredcites →https://doi.org/10.1016/0304-3975(90)90130-aopenalex-snapshot
Theory of 2-structures, part II: Representation through labeled tree families
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119036821.ch10openalex-snapshot
Model Identification and Synthesis of Discrete‐Event Systems
inferred← citeshttps://doi.org/10.1002/widm.1244openalex-snapshot
Process discovery from event data: Relating models and logs through abstractions
inferred← citeshttps://doi.org/10.1007/11767589_17openalex-snapshot
Towards Synthesis of Petri Nets from Scenarios
inferred← citeshttps://doi.org/10.1007/11817949_12openalex-snapshot
Transition Systems of Elementary Net Systems with Localities
inferred← citeshttps://doi.org/10.1007/11837862_12openalex-snapshot
Process Mining and Petri Net Synthesis
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_31openalex-snapshot
Pomsets for Local Trace Languages
inferred← citeshttps://doi.org/10.1007/3-540-44919-1_12openalex-snapshot
Modular System Development with Pullbacks
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_1openalex-snapshot
Hardware and Petri Nets Application to Asynchronous Circuit Design
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_2openalex-snapshot
Region Based Synthesis of P/T-Nets and Its Potential Applications
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_10openalex-snapshot
Generalized Automata and Their Net Representations
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_11openalex-snapshot
On Concurrent Realization of Reactive Systems and Their Morphisms
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_14openalex-snapshot
Continuous Petri Nets and Transition Systems
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_8openalex-snapshot
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_12openalex-snapshot
On Recognizable Stable Trace Languages
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_3openalex-snapshot
Petri Nets, Configuration Structures and Higher Dimensional Automata
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_16openalex-snapshot
General Morphisms of Petri Nets (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_107openalex-snapshot
A trace semantics for Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-56503-5_15openalex-snapshot
The synthesis problem of Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_51openalex-snapshot
Constraints and extensions in a Calculus of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-63139-9_44openalex-snapshot
Coupling asynchrony and interrupts: Place Chart Nets
inferred← citeshttps://doi.org/10.1007/3-540-63141-0_11openalex-snapshot
Synthesis of nets with inhibitor arcs
inferred← citeshttps://doi.org/10.1007/3-540-65307-4_49openalex-snapshot
Petri nets and digital hardware design
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_2openalex-snapshot
CALIBAN - Esprit Basic Research WG 6067
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_5openalex-snapshot
On The Synchronic Structure of Transition Systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_2openalex-snapshot
From Global Specifications to Distributed Implementations
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_6openalex-snapshot
Towards Modular Synthesis of Elementary Net Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-14812-6_38openalex-snapshot
The Complexity of Synthesis for 43 Boolean Petri Net Types
inferred← citeshttps://doi.org/10.1007/978-3-030-21571-2_15openalex-snapshot
Finding Complex Process-Structures by Exploiting the Token-Game
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_1openalex-snapshot
Topics in Region Theory and Synthesis Problems
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_15openalex-snapshot
Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized
inferred← citeshttps://doi.org/10.1007/978-3-031-08848-3_2openalex-snapshot
Foundations of Process Discovery
inferred← citeshttps://doi.org/10.1007/978-3-031-70396-6_9openalex-snapshot
Improving Process Discovery Using Translucent Activity Relationships
inferred← citeshttps://doi.org/10.1007/978-3-031-94634-9_4openalex-snapshot
Synthesizing Petri Nets from Labelled Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-032-17618-9_29openalex-snapshot
Towards Object-Centric and Translucent Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-319-05461-2_2openalex-snapshot
Process Mining in the Large: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_5openalex-snapshot
Process Model Discovery: A Method Based on Transition System Decomposition
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-20028-6_6openalex-snapshot
On Distributed Monitoring and Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-39086-4_5openalex-snapshot
The Power of Prime Cycles
inferred← citeshttps://doi.org/10.1007/978-3-319-39086-4_6openalex-snapshot
Petri Net Synthesis for Restricted Classes of Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_7openalex-snapshot
Synthesis of Petri Nets with Whole-Place Operations and Localities
inferred← citeshttps://doi.org/10.1007/978-3-319-65000-5_2openalex-snapshot
Synthesizing Petri Nets from Hasse Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-77313-1_23openalex-snapshot
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-90089-6_1openalex-snapshot
Discovering the “Glue” Connecting Activities
inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_4openalex-snapshot
Petri Net Synthesis with Union/Find
inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_5openalex-snapshot
Factorisation of Petri Net Solvable Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-96154-5_1openalex-snapshot
Discovering Petri Nets: A Personal Journey
inferred← citeshttps://doi.org/10.1007/978-3-319-96154-5_27openalex-snapshot
From Nets to Circuits and from Circuits to Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_11openalex-snapshot
Unbounded Petri Net Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_8openalex-snapshot
A Survey on Non-interference with Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_5openalex-snapshot
Formal Tools for Modular System Development
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-68746-7_10openalex-snapshot
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_11openalex-snapshot
Synthesis of Nets with Step Firing Policies
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_24openalex-snapshot
Process Discovery Using Integer Linear Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_25openalex-snapshot
Synthesis of Petri Nets from Scenarios with VipTool
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_21openalex-snapshot
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-540-75183-0_27openalex-snapshot
Process Mining Based on Regions of Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-78942-0_10openalex-snapshot
From Human Knowledge to Process Models
inferred← citeshttps://doi.org/10.1007/978-3-540-85758-7_26openalex-snapshot
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
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_10openalex-snapshot
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
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-00899-3_12openalex-snapshot
Empirical Studies in Process Model Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_13openalex-snapshot
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_9openalex-snapshot
Does My Service Have Partners?
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_12openalex-snapshot
Hasse Diagram Generators and Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-03848-8_22openalex-snapshot
Divide-and-Conquer Strategies for Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_9openalex-snapshot
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
inferred← citeshttps://doi.org/10.1007/978-3-642-12186-9_15openalex-snapshot
Process Mining: Fuzzy Clustering and Performance Visualization
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_14openalex-snapshot
Process Mining from a Basis of State Regions
inferred← citeshttps://doi.org/10.1007/978-3-642-15643-4_33openalex-snapshot
Rbminer: A Tool for Discovering Petri Nets from Transition Systems
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-19345-3_6openalex-snapshot
Advanced Process Discovery Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_11openalex-snapshot
Dependability and Performance Assessment of Dynamic CONNECTed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28332-1_38openalex-snapshot
Canonizable Partial Order Generators
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-31131-4_8openalex-snapshot
On the α-Reconstructibility of Workflow Nets
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-35179-2_1openalex-snapshot
The Label Splitting Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_14openalex-snapshot
Aggregating Causal Runs into Workflow Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_10openalex-snapshot
Discovering Petri Nets from Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_7openalex-snapshot
Tissue Systems and Petri Net Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-662-47666-6_2openalex-snapshot
Automated Synthesis of Distributed Controllers
inferred← citeshttps://doi.org/10.1007/978-3-662-55862-1_9openalex-snapshot
Multiplicative Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-58381-4_3openalex-snapshot
On Stability of Regional Orthomodular Posets
inferred← citeshttps://doi.org/10.1007/978-3-662-60651-3_9openalex-snapshot
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems
inferred← citeshttps://doi.org/10.1007/978-3-662-63079-2_3openalex-snapshot
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
inferred← citeshttps://doi.org/10.1007/978-3-7908-1840-6_8openalex-snapshot
Rough Set Methods for the Synthesis and Analysis of Concurrent Processes
inferred← citeshttps://doi.org/10.1007/978-3-7908-1883-3_22openalex-snapshot
The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems
inferred← citeshttps://doi.org/10.1007/bf02983375openalex-snapshot
A characterization of set representable labeled partial 2-structures through decompositions
inferred← citeshttps://doi.org/10.1007/bf03180565openalex-snapshot
An algebraic characterisation of elementary net system (observable) state space
inferred← citeshttps://doi.org/10.1007/bfb0029957openalex-snapshot
A category of transition systems and its relations with orthomodular posets
inferred← citeshttps://doi.org/10.1007/bfb0055646openalex-snapshot
Deriving unbounded Petri nets from formal languages
inferred← citeshttps://doi.org/10.1007/bfb0055648openalex-snapshot
Synthesis of ENI-systems using minimal regions
inferred← citeshttps://doi.org/10.1007/s00165-009-0112-0openalex-snapshot
Preserving correctness during business process model configuration
inferred← citeshttps://doi.org/10.1007/s001650200022openalex-snapshot
Distributing Finite Automata Through Petri Net Synthesis
inferred← citeshttps://doi.org/10.1007/s00170-003-1715-xopenalex-snapshot
Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
inferred← citeshttps://doi.org/10.1007/s00170-009-2299-xopenalex-snapshot
Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems
inferred← citeshttps://doi.org/10.1007/s00170-012-4460-1openalex-snapshot
Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method
inferred← citeshttps://doi.org/10.1007/s001700200014openalex-snapshot
An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions
inferred← citeshttps://doi.org/10.1007/s00236-012-0170-2openalex-snapshot
Step semantics of boolean nets
inferred← citeshttps://doi.org/10.1007/s00236-014-0209-7openalex-snapshot
Synthesis and reengineering of persistent systems
inferred← citeshttps://doi.org/10.1007/s00236-017-0310-9openalex-snapshot
Bounded choice-free Petri net synthesis: algorithmic issues
inferred← citeshttps://doi.org/10.1007/s002360050046openalex-snapshot
The synthesis problem of Petri nets
inferred← citeshttps://doi.org/10.1007/s00607-017-0582-5openalex-snapshot
Discovering workflow nets using integer linear programming
inferred← citeshttps://doi.org/10.1007/s10270-008-0106-zopenalex-snapshot
Process mining: a two-step approach to balance between underfitting and overfitting
inferred← citeshttps://doi.org/10.1007/s10270-016-0536-yopenalex-snapshot
Encoding process discovery problems in SMT
inferred← citeshttps://doi.org/10.1007/s10618-007-0065-yopenalex-snapshot
Mining process models with non-free-choice constructs
inferred← citeshttps://doi.org/10.1007/s10618-011-0226-xopenalex-snapshot
Projection approaches to process mining using region-based techniques
inferred← citeshttps://doi.org/10.1007/s10626-014-0190-xopenalex-snapshot
Fault model identification and synthesis in Petri nets
inferred← citeshttps://doi.org/10.1007/s10844-007-0052-1openalex-snapshot
A novel approach for process mining based on event types
inferred← citeshttps://doi.org/10.1007/s11192-015-1526-5openalex-snapshot
Close to the edge: co-authorship proximity of Nobel laureates in Physiology or Medicine, 1991–2010, to cross-disciplinary brokers
inferred← citeshttps://doi.org/10.1007/s42979-024-03008-8openalex-snapshot
Analyzing Data Streams from Cyber-Physical-Systems: A Case Study
inferred← citeshttps://doi.org/10.1007/s44311-025-00010-yopenalex-snapshot
Using translucent activity relationships frequencies to enhance process discovery
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90180-nopenalex-snapshot
Elementary transition systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90027-2openalex-snapshot
Clans and regions in 2-structures
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90112-0openalex-snapshot
Some complexity results on transition systems and elementary net systems
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00120-4openalex-snapshot
An event structure semantics for general Petri nets
inferred← citeshttps://doi.org/10.1016/j.aam.2022.102377openalex-snapshot
Complete edge-colored permutation graphs
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.001openalex-snapshot
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
inferred← citeshttps://doi.org/10.1016/j.compind.2003.10.001openalex-snapshot
Process mining: a research agenda
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.01.013openalex-snapshot
On Orthomodular Posets Generated by Transition Systems
inferred← citeshttps://doi.org/10.1016/j.ic.2004.04.004openalex-snapshot
The synthesis of Petri nets from path-automatic specifications
inferred← citeshttps://doi.org/10.1016/j.ic.2016.06.006openalex-snapshot
Characterisation of the state spaces of marked graph Petri nets
inferred← citeshttps://doi.org/10.1016/j.ic.2019.104482openalex-snapshot
Presynthesis of bounded choice-free or fork-attribution nets
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.2015.08.016openalex-snapshot
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
inferred← citeshttps://doi.org/10.1016/j.scico.2017.07.005openalex-snapshot
Pre-synthesis of Petri nets based on prime cycles and distance paths
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.026openalex-snapshot
Transition systems without transitions
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.04.016openalex-snapshot
Regions of Petri nets with a/sync connections
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.07.015openalex-snapshot
A quadratic construction for Zielonka automata with acyclic communication structure
inferred← citeshttps://doi.org/10.1016/j.tcs.2017.02.036openalex-snapshot
Signal set tissue systems and overlapping localities
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00162-6openalex-snapshot
On the Petri net realization of context-free graphs
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00046-4openalex-snapshot
An algebraic model of observable properties in distributed systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00219-8openalex-snapshot
The synthesis problem for elementary net systems is NP-complete
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80301-9openalex-snapshot
Concurrent Realizations of Reactive Systems
inferred← citeshttps://doi.org/10.1017/s0960129509990132openalex-snapshot
Process discovery and Petri nets
inferred← citeshttps://doi.org/10.1023/a:1014305610452openalex-snapshot
From Petri Nets to Automata with Concurrency
inferred← citeshttps://doi.org/10.1080/00207179.2013.787692openalex-snapshot
Structure of weakly 2-dependent siphons
inferred← citeshttps://doi.org/10.1080/17517570802245433openalex-snapshot
Getting rid of OR-joins and multiple start events in business process models
inferred← citeshttps://doi.org/10.1109/12.707587openalex-snapshot
Deriving Petri nets from finite transition systems
inferred← citeshttps://doi.org/10.1109/access.2018.2890070openalex-snapshot
A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
inferred← citeshttps://doi.org/10.1109/access.2019.2921884openalex-snapshot
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets
inferred← citeshttps://doi.org/10.1109/acsd.2005.7openalex-snapshot
Complexity Results for Checking Distributed Implementability
inferred← citeshttps://doi.org/10.1109/acsd.2007.33openalex-snapshot
Synthesis and Control of Asynchronous and Distributed Systems
inferred← citeshttps://doi.org/10.1109/acsd.2007.34openalex-snapshot
Synthesis of Petri Nets from Finite Partial Languages
inferred← citeshttps://doi.org/10.1109/acsd.2007.50openalex-snapshot
Finding Structure in Unstructured Processes: The Case for Process Mining
inferred← citeshttps://doi.org/10.1109/acsd.2008.4574609openalex-snapshot
Synthesis of Petri nets from infinite partial languages
inferred← citeshttps://doi.org/10.1109/acsd.2009.11openalex-snapshot
Petrifying Operating Guidelines for Services
inferred← citeshttps://doi.org/10.1109/acsd.2009.19openalex-snapshot
Variants of the Language Based Synthesis Problem for Petri Nets
inferred← citeshttps://doi.org/10.1109/acsd.2009.6openalex-snapshot
Genet: A Tool for the Synthesis and Mining of Petri Nets
inferred← citeshttps://doi.org/10.1109/acsd.2011.16openalex-snapshot
Building Tight Occurrence Nets from Reveals Relations
inferred← citeshttps://doi.org/10.1109/csd.2001.981781openalex-snapshot
Synthesis of net systems with inhibitor arcs from step transition systems
inferred← citeshttps://doi.org/10.1109/edoc.2007.10openalex-snapshot
Getting Rid of the OR-Join in Business Process Models
inferred← citeshttps://doi.org/10.1109/icicis.2010.5534758openalex-snapshot
An improved deadlock prevention strategy for FMSs using theory of regions
inferred← citeshttps://doi.org/10.1109/icma.2010.5589472openalex-snapshot
Petri-net-based supervisory control for FMSs using the theory of regions
inferred← citeshttps://doi.org/10.1109/icpm.2019.00015openalex-snapshot
Directly Follows-Based Process Mining: Exploration & a Case Study
inferred← citeshttps://doi.org/10.1109/icsmc.2009.5346581openalex-snapshot
An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions
inferred← citeshttps://doi.org/10.1109/icsmc.2011.6083771openalex-snapshot
An efficient deadlock prevention policy for FMSs using reduction method and theory of regions
inferred← citeshttps://doi.org/10.1109/ictke.2012.6408561openalex-snapshot
Prom: Analysis of Social Network in students registration system
inferred← citeshttps://doi.org/10.1109/icws.2011.40openalex-snapshot
On the Optimal Petri Net Representation for Service Composition
inferred← citeshttps://doi.org/10.1109/isads.2011.23openalex-snapshot
Towards Automated Dependability Analysis of Dynamically Connected Systems
inferred← citeshttps://doi.org/10.1109/scc.2007.12openalex-snapshot
A Novel Approach for Process Mining Based on Event Types
inferred← citeshttps://doi.org/10.1109/synasc.2006.21openalex-snapshot
Characterizing Workflow Nets Using Regions
inferred← citeshttps://doi.org/10.1109/tase.2026.3695285openalex-snapshot
Synthesis of Free-Labeled Petri Nets With Inhibitor Arcs: An Exact and Efficient Approach
inferred← citeshttps://doi.org/10.1109/tc.2009.131openalex-snapshot
New Region-Based Algorithms for Deriving Bounded Petri Nets
inferred← citeshttps://doi.org/10.1109/tkde.2004.47openalex-snapshot
Workflow mining: discovering process models from event logs
inferred← citeshttps://doi.org/10.1109/tkde.2011.192openalex-snapshot
Region-Based Foldings in Process Discovery
inferred← citeshttps://doi.org/10.1109/tkde.2013.156openalex-snapshot
Process Discovery Algorithms Using Numerical Abstract Domains
inferred← citeshttps://doi.org/10.1109/tsmca.2011.2164241openalex-snapshot
Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/wsc.2007.4419657openalex-snapshot
How to synthesize nets from languages - a survey
inferred← citeshttps://doi.org/10.1142/s0218843004000973openalex-snapshot
BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
inferred← citeshttps://doi.org/10.1142/s0218843014400012openalex-snapshot
Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity
inferred← citeshttps://doi.org/10.25405/ncl.34276650openalex-snapshot
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
inferred← citeshttps://doi.org/10.3182/20130619-3-ru-3018.00549openalex-snapshot
Structure Based Derived Uniform Formula for Siphon, Its Complementary Set and T-characteristic Vectors
inferred← citeshttps://doi.org/10.3233/fi-1999-402307openalex-snapshot
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
inferred← citeshttps://doi.org/10.3233/fi-2009-132openalex-snapshot
Synthesis of Nets with Step Firing Policies
inferred← citeshttps://doi.org/10.3233/fi-2011-413openalex-snapshot
Compact Representations and Efficient Algorithms for Operating Guidelines
inferred← citeshttps://doi.org/10.3233/fi-2011-505openalex-snapshot
Multiplicative Transition Systems
inferred← citeshttps://doi.org/10.3233/fi-2013-809openalex-snapshot
Building Occurrence Nets from Reveals Relations
inferred← citeshttps://doi.org/10.3233/fi-2017-1548openalex-snapshot
Incremental Process Discovery using Petri Net Synthesis
inferred← citeshttps://doi.org/10.3233/fi-2017-1550openalex-snapshot
Synthesis of Transition Systems from Quantum Logics
inferred← citeshttps://doi.org/10.3233/fi-2019-1837openalex-snapshot
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods
inferred← citeshttps://doi.org/10.3233/fun-2006-73305openalex-snapshot
Event Structures with Disabling/Enabling Relation and Event Automata
inferred← citeshttps://doi.org/10.4018/978-1-4666-4034-4.ch004openalex-snapshot
A Computationally Improved Control Policy for FMS Using Crucial Marking/Transition-Separation Instances
inferred← citeshttps://doi.org/10.4018/jaras.2013010101openalex-snapshot
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.373-375.1413openalex-snapshot
Controllability of Weakly Dependent Siphons under Elementary-Siphon Control
inferred← citeshttps://doi.org/10.4204/eptcs.100.1openalex-snapshot
Membrane Systems and Petri Net Synthesis
inferred← citeshttps://doi.org/10.48550/arxiv.1009.5341openalex-snapshot
Canonizable Partial Order Generators and Regular Slice Languages
showing the first 200 of 205 · page through all 205
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.