On the public citation graph
On liveness preservation by composition of nets via a set of places
0 signed · 45 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-50403-6_52openalex-snapshot
Deterministic systems of sequential processes: Theory and tools
inferredcites →https://doi.org/10.1007/3-540-53863-1_23openalex-snapshot
Improving the linearly based characterization of P/T nets
inferredcites →https://doi.org/10.1007/3-540-53863-1_34openalex-snapshot
Composition of nets via a communication medium
inferredcites →https://doi.org/10.1007/978-3-540-47919-2_13openalex-snapshot
Transformations and Decompositions of Nets
inferredcites →https://doi.org/10.1007/bf00264434openalex-snapshot
Deterministic buffer synchronization of sequential processes
inferredcites →https://doi.org/10.1016/s0022-0000(69)80011-5openalex-snapshot
Parallel program schemata
inferredcites →https://doi.org/10.26754/uz.84-7288-045-1openalex-snapshot
Las Redes de Petri : en la Automática y la Informática
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-48068-4_13openalex-snapshot
Characterizing Liveness of Petri Nets in Terms of Siphons
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_34openalex-snapshot
Composition of nets via a communication medium
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_166openalex-snapshot
Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_108openalex-snapshot
Asynchronous communication of Petri Nets and the refinement of transitions
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_54openalex-snapshot
Compositional state space generation
inferred← citeshttps://doi.org/10.1007/978-3-319-05119-2_13openalex-snapshot
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_20openalex-snapshot
Channel Properties of Asynchronously Composed Petri Nets
inferred← citeshttps://doi.org/10.1007/s10845-009-0238-1openalex-snapshot
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
inferred← citeshttps://doi.org/10.1016/j.jss.2005.06.018openalex-snapshot
A petri-net-based synthesis methodology for use-case-driven system design
inferred← citeshttps://doi.org/10.1016/j.jss.2009.11.705openalex-snapshot
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.12.010openalex-snapshot
Property-preserving subnet reductions for designing manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1016/s0140-3664(96)01158-9openalex-snapshot
Petri nets for protocol engineering
inferred← citeshttps://doi.org/10.1093/comjnl/bxh125openalex-snapshot
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction
inferred← citeshttps://doi.org/10.1109/cccm.2008.360openalex-snapshot
An Algorithm for Eliminating Duplicate Labels of a Labelled Petri Net
inferred← citeshttps://doi.org/10.1109/cit.2005.110openalex-snapshot
Elimination of duplicate labels in Petri-net-based system specification
inferred← citeshttps://doi.org/10.1109/csss.2012.37openalex-snapshot
Place/Transition Sharing Composition and Application in Metallurgical Processes
inferred← citeshttps://doi.org/10.1109/etfa.1992.683227openalex-snapshot
Structuring, Specification And Validation Of The Control Part In Flexible Production Systems
inferred← citeshttps://doi.org/10.1109/grc.2011.6122702openalex-snapshot
Scalable process modeling based on net synthesis under cloud computing environment
inferred← citeshttps://doi.org/10.1109/iceee.2010.5660113openalex-snapshot
The Application of Property Preservation by Petri-Net-Based Refinements in the Modeling of Multi-Agents Cooperation
inferred← citeshttps://doi.org/10.1109/icmlc.2005.1526925openalex-snapshot
Specification and Verification of Multi-Agent Systems with a Property-Preserving Component-Based Methodology
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384715openalex-snapshot
A modular approach for the specification and validation of the production flexible systems command
inferred← citeshttps://doi.org/10.1109/icsmc.1997.635201openalex-snapshot
Algorithmic aspects of hierarchical verification for SA/RT models
inferred← citeshttps://doi.org/10.1109/icsmc.2002.1173442openalex-snapshot
An incremental verification technique using decomposition of petri nets
inferred← citeshttps://doi.org/10.1109/iscas.2003.1205001openalex-snapshot
Insufficiently marked siphon of Petri nets - extension of token-free siphon
inferred← citeshttps://doi.org/10.1109/iwrsp.1993.263182openalex-snapshot
A generic prototype model for distributed systems based on high level object oriented specification
inferred← citeshttps://doi.org/10.1109/iwrsp.1995.518582openalex-snapshot
H-COSTAM: a hierarchical communicating state-machine model for generic prototyping
inferred← citeshttps://doi.org/10.1109/iwrsp.1996.506735openalex-snapshot
A multi formalisms prototyping approach from formal description to implementation of distributed systems
inferred← citeshttps://doi.org/10.1109/mwscas.2004.1354378openalex-snapshot
On some analysis properties of colored petri net using underlying net
inferred← citeshttps://doi.org/10.1109/tsmc.2014.2334276openalex-snapshot
Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets
inferred← citeshttps://doi.org/10.4018/978-1-4666-4034-4.ch017openalex-snapshot
Composition of Functional Petri Nets
inferred← citeshttps://doi.org/10.5755/j01.itc.35.2.12042openalex-snapshot
REFINEMENT OF PETRI-NET-BASED SYSTEM SPECIFICATION
inferred← citeshttps://doi.org/10.7763/ijcte.2010.v2.148openalex-snapshot
Analysis of Parallel Manufacturing Processes with Resource Sharing
inferred← citeshttps://doi.org/10.9746/sicetr1965.31.1722openalex-snapshot
On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
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.