On the public citation graph
Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing
0 signed · 66 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/11494744_7openalex-snapshot
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets
inferredcites →https://doi.org/10.1007/3-540-44919-1_3openalex-snapshot
The Resource Allocation Problem in Flexible Manufacturing Systems
inferredcites →https://doi.org/10.1007/978-1-84882-244-3openalex-snapshot
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
inferredcites →https://doi.org/10.1007/978-3-540-47919-2_8openalex-snapshot
Structure Theory of Petri Nets: the Free Choice Hiatus
inferredcites →https://doi.org/10.1007/978-3-540-73094-1_20openalex-snapshot
Operating Guidelines for Finite-State Services
inferredcites →https://doi.org/10.1007/978-3-540-77426-6openalex-snapshot
Unfoldings: A Partial-Order Approach to Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-78238-4_24openalex-snapshot
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
inferredcites →https://doi.org/10.1007/978-3-642-01918-0_2openalex-snapshot
Service Interaction: Patterns, Formalization, and Analysis
inferredcites →https://doi.org/10.1007/978-3-642-33278-4openalex-snapshot
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
inferredcites →https://doi.org/10.1007/978-3-642-40465-8_3openalex-snapshot
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms
inferredcites →https://doi.org/10.1007/bfb0046840openalex-snapshot
Structure theory of Petri nets: the free choice hiatus
inferredcites →https://doi.org/10.1016/j.ipl.2008.07.006openalex-snapshot
Can I find a partner? Undecidability of partner existence for open nets
inferredcites →https://doi.org/10.1016/s0306-4379(00)00003-xopenalex-snapshot
Process-oriented architectures for electronic commerce and interorganizational workflow
inferredcites →https://doi.org/10.1017/s0960129504004311openalex-snapshot
Compositional semantics for open Petri nets based on deterministic processes
inferredcites →https://doi.org/10.1023/a:1021707111118openalex-snapshot
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model
inferredcites →https://doi.org/10.1080/00207541003650961openalex-snapshot
Deadlock resolution in automated manufacturing systems–a novel Petri net approach, by Z.W. Li, and M.C. Zhou
inferredcites →https://doi.org/10.1080/00207721.2014.938788openalex-snapshot
Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
inferredcites →https://doi.org/10.1093/comjnl/bxp118openalex-snapshot
A Necessary and Sufficient Condition for the Liveness of Normal Nets
inferredcites →https://doi.org/10.1109/70.370500openalex-snapshot
A Petri net based deadlock prevention policy for flexible manufacturing systems
inferredcites →https://doi.org/10.1109/71.296320openalex-snapshot
Shared memory multimicroprocessor operating system with an extended Petri net model
inferredcites →https://doi.org/10.1109/71.553301openalex-snapshot
An application of Petri net reduction for Ada tasking deadlock analysis
inferredcites →https://doi.org/10.1109/71.780866openalex-snapshot
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries
inferredcites →https://doi.org/10.1109/9.956052openalex-snapshot
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
inferredcites →https://doi.org/10.1109/access.2016.2597061openalex-snapshot
A Branching-Process-Based Method to Check Soundness of Workflow Systems
inferredcites →https://doi.org/10.1109/hase.1998.731604openalex-snapshot
Verification in concurrent programming with Petri nets structural techniques
inferredcites →https://doi.org/10.1109/icnsc.2016.7478980openalex-snapshot
Petri net based model checking for the collaborative-ness of multiple processes systems
inferredcites →https://doi.org/10.1109/icpads.2016.0073openalex-snapshot
Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations
inferredcites →https://doi.org/10.1109/icsmc.1992.271666openalex-snapshot
Generalized mutual exclusion contraints on nets with uncontrollable transitions
inferredcites →https://doi.org/10.1109/tase.2006.888049openalex-snapshot
Deadlock Resolution in Automated Manufacturing Systems With Robots
inferredcites →https://doi.org/10.1109/tase.2010.2050059openalex-snapshot
Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs
inferredcites →https://doi.org/10.1109/tase.2013.2241762openalex-snapshot
Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach
inferredcites →https://doi.org/10.1109/tc.2004.66openalex-snapshot
Structural and dynamic changes in concurrent systems: reconfigurable Petri nets
inferredcites →https://doi.org/10.1109/tsmca.2003.820576openalex-snapshot
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
inferredcites →https://doi.org/10.1109/tsmca.2003.820579openalex-snapshot
ERCN* Merged Nets for Modeling Degraded Behavior and Parallel Processes in Semiconductor Manufacturing Systems
inferredcites →https://doi.org/10.1109/tsmca.2003.820590openalex-snapshot
Deadlock control methods in automated manufacturing systems
inferredcites →https://doi.org/10.1109/tsmca.2007.893484openalex-snapshot
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
inferredcites →https://doi.org/10.1109/tsmca.2007.914741openalex-snapshot
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets
inferredcites →https://doi.org/10.1109/tsmca.2010.2048898openalex-snapshot
Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems
inferredcites →https://doi.org/10.1145/2406336.2406338openalex-snapshot
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places
inferredcites →https://doi.org/10.1145/582153.582187openalex-snapshot
Modular verification of concurrent programs
inferredcites →https://doi.org/10.1587/transfun.e92.a.2717openalex-snapshot
Computational Complexity of Liveness Problem of Normal Petri Net
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.4699openalex-snapshot
A path detecting method to analyze the interactive compatibility of service processes based on WS‐BPEL
inferred← citeshttps://doi.org/10.1007/978-981-16-5203-5_11openalex-snapshot
Discrete Systems as Petri Modules
inferred← citeshttps://doi.org/10.1007/978-981-19-6309-4_4openalex-snapshot
Petri Nets Modeling Message Passing and Resource Sharing
inferred← citeshttps://doi.org/10.1007/s10723-019-09485-zopenalex-snapshot
Cloud-Based Multi-Agent Cooperation for IoT Devices Using Workflow-Nets
inferred← citeshttps://doi.org/10.1109/access.2017.2772829openalex-snapshot
A Compositional Analysis Method for Petri-Net Models
inferred← citeshttps://doi.org/10.1109/hpcc/smartcity/dss.2019.00161openalex-snapshot
Model Checking CTLK Based on Knowledge-Oriented Petri Nets
inferred← citeshttps://doi.org/10.1109/icnsc58704.2023.10319044openalex-snapshot
PNer: A Petri-Net-Based Model Checker for Computation Tree Logic
inferred← citeshttps://doi.org/10.1109/smc.2018.00045openalex-snapshot
A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets
inferred← citeshttps://doi.org/10.1109/ssd.2018.8570456openalex-snapshot
Multi-Site Manufacturing System Scheduling Using Petri Nets
inferred← citeshttps://doi.org/10.1109/tase52547.2021.00033openalex-snapshot
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order
inferred← citeshttps://doi.org/10.1109/tcss.2022.3164052openalex-snapshot
Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems
inferred← citeshttps://doi.org/10.1109/trustcom63139.2024.00251openalex-snapshot
ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space
inferred← citeshttps://doi.org/10.1109/tsmc.2018.2791527openalex-snapshot
Analysis of Unbounded Petri Net With Lean Reachability Trees
inferred← citeshttps://doi.org/10.17648/sbai-2019-111447openalex-snapshot
Sincronização de Sistemas a Eventos Discretos com Compartilhamento de Recursos
inferred← citeshttps://doi.org/10.18255/1818-1015-2025-2-150-171openalex-snapshot
Modeling of parallel program synchronization primitives
inferred← citeshttps://doi.org/10.23919/ccc50068.2020.9188719openalex-snapshot
Verifying Computation Tree Logic of Knowledge via the Similar Reachability Graphs of Knowledge-oriented Petri Nets
inferred← citeshttps://doi.org/10.3389/fcomp.2023.1136057openalex-snapshot
The trace consistency measurement between WFD-net systems
inferred← citeshttps://doi.org/10.47738/jads.v3i2.60openalex-snapshot
Elevator Group Scheduling by Improved Dayan Particle Swarm Algorithm in Computer Cloud Computing Environment
inferred← citeshttps://doi.org/10.48550/arxiv.2012.10126openalex-snapshot
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge
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.