On the public citation graph
Advances in Petri Nets 1985
0 signed · 173 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/bfb0016208openalex-snapshot
Synchronic distances in C/E systems
inferredcites →https://doi.org/10.1007/bfb0016209openalex-snapshot
Process periods and system reconstruction
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/10720123_6openalex-snapshot
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?
inferred← citeshttps://doi.org/10.1007/10722620_3openalex-snapshot
Extending UML with Workflow Modeling Capabilities
inferred← citeshttps://doi.org/10.1007/11494744_21openalex-snapshot
Determinate STG Decomposition of Marked Graphs
inferred← citeshttps://doi.org/10.1007/11494744_26openalex-snapshot
High Level Petri Nets Analysis with Helena
inferred← citeshttps://doi.org/10.1007/11527862_11openalex-snapshot
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies
inferred← citeshttps://doi.org/10.1007/11562948_17openalex-snapshot
Syntactical Colored Petri Nets Reductions
inferred← citeshttps://doi.org/10.1007/11575863_69openalex-snapshot
A Petri Net Based Approach for Process Model Driven Deduction of BPEL Code
inferred← citeshttps://doi.org/10.1007/11581741_13openalex-snapshot
Control Flow Analysis of UML 2.0 Sequence Diagrams
inferred← citeshttps://doi.org/10.1007/11690634_9openalex-snapshot
Distributed Unfolding of Petri Nets
inferred← citeshttps://doi.org/10.1007/11766155_19openalex-snapshot
Possibilistic Information Flow Control in MAKS and Action Refinement
inferred← citeshttps://doi.org/10.1007/11817949_20openalex-snapshot
Event Structure Semantics for Nominal Calculi
inferred← citeshttps://doi.org/10.1007/3-540-17906-2_25openalex-snapshot
Human-machine interaction and role/function/action-nets
inferred← citeshttps://doi.org/10.1007/3-540-36126-x_22openalex-snapshot
Input/Output Compatibility of Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-36190-1_4openalex-snapshot
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
inferred← citeshttps://doi.org/10.1007/3-540-38076-0_25openalex-snapshot
High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_23openalex-snapshot
Bisimulation and the Reduction of Petri Nets
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-48068-4_1openalex-snapshot
Making Work Flow: On the Application of Petri Nets to Business Process Management
inferred← citeshttps://doi.org/10.1007/3-540-48068-4_23openalex-snapshot
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow
inferred← citeshttps://doi.org/10.1007/3-540-49646-7_26openalex-snapshot
Safety Verification of Software Using Structured Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-50403-6_42openalex-snapshot
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence
inferred← citeshttps://doi.org/10.1007/3-540-50580-6_21openalex-snapshot
An environment for object-oriented conceptual programming based on PROT nets
inferred← citeshttps://doi.org/10.1007/3-540-51635-2_53openalex-snapshot
PROTOB a hierarchical object-oriented CASE tool for distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-52531-9_143openalex-snapshot
Graphical object oriented executable specification for an automation oriented paradigm of software development
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_82openalex-snapshot
Refinement of concurrent systems based on local state transformations
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_33openalex-snapshot
A state transformation preorder over a class of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_17openalex-snapshot
Concurrency relations and the safety problem for Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_43openalex-snapshot
A concept of hierarchical Petri nets with building blocks
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_44openalex-snapshot
Petri net tool overview 1992
inferred← citeshttps://doi.org/10.1007/3-540-58152-9_4openalex-snapshot
B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation
inferred← citeshttps://doi.org/10.1007/3-540-61550-4_141openalex-snapshot
Partial order reduction: Model-checking using representatives
inferred← citeshttps://doi.org/10.1007/3-540-65307-4_51openalex-snapshot
Protocol specification using P-graphs, a technique based on coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_21openalex-snapshot
On the Computation of Place Invariants for Algebraic Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_12openalex-snapshot
Supervisory Control of Petri Nets with Language Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4757-9805-0_36openalex-snapshot
Morphisms to Preserve Sructural Properties of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-84800-068-1_5openalex-snapshot
Coordination Mechanisms (1996)
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_2openalex-snapshot
Endowing Concurrent Kleene Algebra with Communication Actions
inferred← citeshttps://doi.org/10.1007/978-3-319-07452-8_9openalex-snapshot
Validation of Access Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_18openalex-snapshot
On the Reversibility of Well-Behaved Weighted Choice-Free Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-08494-7_1openalex-snapshot
Concurrency and Reversibility
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_7openalex-snapshot
Attractor Equivalence: An Observational Semantics for Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-14977-6_1openalex-snapshot
Models of Circular Causality
inferred← citeshttps://doi.org/10.1007/978-3-322-89206-5_5openalex-snapshot
Spezifikation des Systemverhaltens
inferred← citeshttps://doi.org/10.1007/978-3-540-24664-0_8openalex-snapshot
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-24732-6_20openalex-snapshot
Verification of MPI-Based Software for Scientific Computation
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_1openalex-snapshot
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_1openalex-snapshot
Positive Non-interference in Elementary and Trace Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_18openalex-snapshot
Covering Fairness against Conspiracies
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_17openalex-snapshot
The Influence of Durational Actions on Time Equivalences
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_18openalex-snapshot
A Symbolic Symbolic State Space Representation
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_8openalex-snapshot
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_9openalex-snapshot
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_11openalex-snapshot
Quantitative Engineering of Business Processes with VIPbusiness
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_12openalex-snapshot
Inter-organizational Business Process Management with XML Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-40022-6_16openalex-snapshot
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_2openalex-snapshot
Synthesis of Distributed Algorithms Using Asynchronous Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_3openalex-snapshot
Compression of Partially Ordered Strings
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_4openalex-snapshot
Bundle Event Structures and CCSP
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_47openalex-snapshot
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
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-70881-0_1openalex-snapshot
Separability in Conflict-Free Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_39openalex-snapshot
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_7openalex-snapshot
Test Coverage for Loose Timing Annotations
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_55openalex-snapshot
Unfolding Concurrent Well-Structured Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_23openalex-snapshot
The Java Memory Model: Operationally, Denotationally, Axiomatically
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_3openalex-snapshot
Introduction to Generalized Stochastic 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-73196-2_12openalex-snapshot
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_22openalex-snapshot
Compositional Event Structure Semantics for the Internal π-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-77312-2_13openalex-snapshot
Events, Causality, and Concurrency in Membrane Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-77312-2_8openalex-snapshot
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
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-78800-3_29openalex-snapshot
Peephole Partial Order Reduction
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_34openalex-snapshot
Workshop on Petri Nets and Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_43openalex-snapshot
Grammar Morphisms and Weakly Adhesive Categories
inferred← citeshttps://doi.org/10.1007/978-3-540-88387-6_11openalex-snapshot
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_3openalex-snapshot
Teaching Concurrency Concepts to Freshmen
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_24openalex-snapshot
Decompositional Petri Net Reductions
inferred← citeshttps://doi.org/10.1007/978-3-642-00596-1_5openalex-snapshot
Logics and Bisimulation Games for Concurrency, Causality and Conflict
inferred← citeshttps://doi.org/10.1007/978-3-642-01004-0_9openalex-snapshot
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
inferred← citeshttps://doi.org/10.1007/978-3-642-01112-2_13openalex-snapshot
Weaving Business Processes and Rules: A Petri Net Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-01247-1_6openalex-snapshot
Simulation of IT Service Processes with Petri-Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-02273-9_9openalex-snapshot
Partial Orders, Event Structures and Linear Strategies
inferred← citeshttps://doi.org/10.1007/978-3-642-02414-6_9openalex-snapshot
Component Specification Using Event Classes
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_10openalex-snapshot
P-Semiflow Computation with Decision Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_31openalex-snapshot
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
inferred← citeshttps://doi.org/10.1007/978-3-642-03741-2_24openalex-snapshot
Unfolding Grammars in Adhesive Categories
inferred← citeshttps://doi.org/10.1007/978-3-642-03845-7_19openalex-snapshot
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_27openalex-snapshot
Concurrent Kleene Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-13562-0_35openalex-snapshot
Simultaneity in Event Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_7openalex-snapshot
Canonical Transition Set Semantics for Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-14046-4_8openalex-snapshot
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!
inferred← citeshttps://doi.org/10.1007/978-3-642-15464-5_4openalex-snapshot
Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure
inferred← citeshttps://doi.org/10.1007/978-3-642-15488-1_3openalex-snapshot
Inferring Regular Trace Languages from Positive and Negative Samples
inferred← citeshttps://doi.org/10.1007/978-3-642-15618-2_7openalex-snapshot
How to Implement a Theory of Correctness in the Area of Business Processes and Services
inferred← citeshttps://doi.org/10.1007/978-3-642-16690-7_14openalex-snapshot
Towards a Pomset Semantics for a Shared-Variable Parallel Language
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_10openalex-snapshot
Compensable WorkFlow Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-16934-2_29openalex-snapshot
The Biconnected Verification of Workflow Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-17796-5_1openalex-snapshot
Structural Analysis for Stochastic Process Algebra Models
inferred← citeshttps://doi.org/10.1007/978-3-642-18222-8_1openalex-snapshot
Vicinity Respecting Homomorphisms for Abstracting System Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_14openalex-snapshot
On the Origin of Events: Branching Cells as Stubborn Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_17openalex-snapshot
A Tool for Automated Test Code Generation from High-Level Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_7openalex-snapshot
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_17openalex-snapshot
Safe Distribution of Declarative Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_22openalex-snapshot
Modular Modelling of Software Product Lines with Feature Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-25283-9_5openalex-snapshot
Modeling TCG-Based Secure Systems with Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-25327-0_19openalex-snapshot
Authentication Tests Based on Distributed Temporal Protocol Logic for the Analysis of Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-25535-9_7openalex-snapshot
Decidability Results for Choreography Realization
inferred← citeshttps://doi.org/10.1007/978-3-642-26010-0_25openalex-snapshot
Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net
inferred← citeshttps://doi.org/10.1007/978-3-642-27866-2_19openalex-snapshot
The Application of Petri Nets to Construction Project Management
inferred← citeshttps://doi.org/10.1007/978-3-642-28729-9_15openalex-snapshot
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_23openalex-snapshot
Nested Dynamic Condition Response Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-29709-0_10openalex-snapshot
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
inferred← citeshttps://doi.org/10.1007/978-3-642-30473-6_8openalex-snapshot
Conformance Relations for Labeled Event Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-30835-2_2openalex-snapshot
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_11openalex-snapshot
Maximal Confluent Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_15openalex-snapshot
Safety Slicing Petri Nets
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-32355-3_3openalex-snapshot
Declarative Modelling and Safe Distribution of Healthcare Workflows
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-36830-1_10openalex-snapshot
A Theory of Agreements and Protection
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_2openalex-snapshot
Strategies for Modeling Complex Processes Using Colored Petri Nets
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-38697-8_1openalex-snapshot
The Right Timing: Reflections on the Modeling and Analysis of Time
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-38986-3_12openalex-snapshot
Modelling of Bonding with Processes and Events
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_68openalex-snapshot
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_9openalex-snapshot
Partial Orders for Efficient Bounded Model Checking of Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-642-41641-5_10openalex-snapshot
Improving Documentation by Repairing Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-57476-4_8openalex-snapshot
Internet Based Management of Distributed Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-57737-6_32openalex-snapshot
Income/Wf — A Petri Net Based Approach to Workflow Management
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_10openalex-snapshot
The Communication Disciplines of CHAOS
inferred← citeshttps://doi.org/10.1007/978-3-642-76934-4_21openalex-snapshot
Employing The Randomization Technique for Solving Stochastic Petri Net Models
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_15openalex-snapshot
On the Step Branching Time Closure of Free-Choice Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-46081-8_20openalex-snapshot
Bounded Implementations of Replicated Data Types
inferred← citeshttps://doi.org/10.1007/978-3-663-09262-9_3openalex-snapshot
Nebenläufigkeit und Konflikt
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/bf01178506openalex-snapshot
Concurrent bisimulations in Petri nets
inferred← citeshttps://doi.org/10.1007/bfb0016346openalex-snapshot
Embedded system description using Petri nets
inferred← citeshttps://doi.org/10.1007/bfb0028397openalex-snapshot
Verification for robust specification
inferred← citeshttps://doi.org/10.1007/s10485-012-9280-9openalex-snapshot
The Homology of Partial Monoid Actions and Petri Nets
inferred← citeshttps://doi.org/10.1007/s10619-011-7088-5openalex-snapshot
Business process model abstraction: a definition, catalog, and survey
inferred← citeshttps://doi.org/10.1016/0026-2714(95)00198-0openalex-snapshot
MASE: A user-friendly performance tool
inferred← citeshttps://doi.org/10.1016/0306-4379(93)90029-zopenalex-snapshot
Towards a complete conceptual model: Petri nets and entity-relationship diagrams
inferred← citeshttps://doi.org/10.1016/j.jtbi.2012.08.042openalex-snapshot
Reduction techniques for network validation in systems biology
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00051-8openalex-snapshot
Approximating labelled Markov processes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)42542-0openalex-snapshot
Modelling Timing Constraints of Fault Propagation by Petri Net
inferred← citeshttps://doi.org/10.1080/13600834.1998.9965793openalex-snapshot
Temporal structure and enablement representation for mutual wills: A Petri net approach
inferred← citeshttps://doi.org/10.1109/naecon.1990.112838openalex-snapshot
Automated Petri net modeling of military operations
inferred← citeshttps://doi.org/10.1109/pccc.1988.10093openalex-snapshot
Timed Petri net models of queueing systems
inferred← citeshttps://doi.org/10.1145/1029174.1029178openalex-snapshot
Modeling of discrete event systems
inferred← citeshttps://doi.org/10.1145/3498679openalex-snapshot
From enhanced coinduction towards enhanced induction
inferred← citeshttps://doi.org/10.5220/0004668402890297openalex-snapshot
Evaluation of Energy Efficiency of Aggregation in WSNs using Petri Nets
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.