On the public citation graph

An event structure semantics for P/T contextual nets: Asymmetric event structures

https://doi.org/10.1007/bfb0053542
0 signed · 43 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.1006/inco.1995.1153openalex-snapshot
Semantics of Inhibitor Nets
inferredcites →https://doi.org/10.1007/3-540-17906-2_31openalex-snapshot
Event structures
inferredcites →https://doi.org/10.1007/3-540-53479-2_4openalex-snapshot
Flow event structures and flow nets
inferredcites →https://doi.org/10.1007/3-540-54430-5_97openalex-snapshot
Invariant semantics of nets with inhibitor arcs
inferredcites →https://doi.org/10.1007/3-540-55808-x_42openalex-snapshot
On the nature of events
inferredcites →https://doi.org/10.1007/3-540-56610-4_53openalex-snapshot
On relating some models for concurrency
inferredcites →https://doi.org/10.1007/3-540-56863-8_47openalex-snapshot
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
inferredcites →https://doi.org/10.1007/3-540-57787-4_18openalex-snapshot
Contextual occurrence nets and concurrent constraint programming
inferredcites →https://doi.org/10.1007/3-540-60218-6_11openalex-snapshot
A Petri net semantics for π-calculus
inferredcites →https://doi.org/10.1007/3-540-61363-3_7openalex-snapshot
Non sequential semantics for contextual P/T nets
inferredcites →https://doi.org/10.1007/3-540-61604-7_69openalex-snapshot
Concurrent graph and term graph rewriting
inferredcites →https://doi.org/10.1007/3-540-63165-8_209openalex-snapshot
Efficiency of asynchronous systems and read arcs in petri nets
inferredcites →https://doi.org/10.1007/bf01178907openalex-snapshot
Contextual nets
inferredcites →https://doi.org/10.1007/bfb0013028openalex-snapshot
Permutation of transitions: An event structure semantics for CCS and SCCS
inferredcites →https://doi.org/10.1007/bfb0029994openalex-snapshot
Partial order semantics and read arcs
inferredcites →https://doi.org/10.1007/bfb0084798openalex-snapshot
On the semantics of Petri Nets
inferredcites →https://doi.org/10.1016/0304-3975(94)00174-hopenalex-snapshot
On the nature of events: another perspective in concurrency
inferredcites →https://doi.org/10.1016/s0304-3975(01)00234-1openalex-snapshot
Partial order semantics and read arcs
inferredcites →https://doi.org/10.5555/646211.683771openalex-snapshot
Bundle event structures: a non-interleaving semantics for LOTOS

What points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.2001.3060openalex-snapshot
Contextual Petri Nets, Asymmetric Event Structures, and Processes
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_32openalex-snapshot
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_15openalex-snapshot
Algebraic Models for Contextual Nets
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_12openalex-snapshot
Transactions and Zero-Safe Nets
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_13openalex-snapshot
Two Algebraic Process Semantics for Contextual Nets
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_11openalex-snapshot
Bisimulation Equivalences for Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_6openalex-snapshot
Unfolding and Event Structure Semantics for Graph Grammars
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-44616-3_17openalex-snapshot
History Preserving Bisimulation for Contextual Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_11openalex-snapshot
Unfolding of Double-Pushout Graph Grammars is a Coreflection
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_12openalex-snapshot
McMillan’s Complete Prefix for Contextual Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-15928-2_7openalex-snapshot
On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-23217-6_23openalex-snapshot
Efficient Contextual Unfolding
inferred← citeshttps://doi.org/10.1007/bfb0055061openalex-snapshot
Concatenable graph processes: Relating processes and derivation traces
inferred← citeshttps://doi.org/10.1007/bfb0055062openalex-snapshot
Axioms for contextual net processes
inferred← citeshttps://doi.org/10.1007/bfb0055644openalex-snapshot
Unfolding and finite prefix for nets with read arcs
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.10.002openalex-snapshot
A decentralised graphical implementation of mobile ambients
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.04.046openalex-snapshot
Efficient unfolding of contextual Petri nets
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.02.044openalex-snapshot
Branching cells for asymmetric event structures
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00234-1openalex-snapshot
Partial order semantics and read arcs
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80957-5openalex-snapshot
A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi…
inferred← citeshttps://doi.org/10.1109/icfem.2000.873814openalex-snapshot
Fragmented retrenchment, concurrency and fairness
inferred← citeshttps://doi.org/10.1142/9789812562494_0057openalex-snapshot
THE ALGEBRAIC STRUCTURE OF PETRI NETS
inferred← citeshttps://doi.org/10.1142/9789812814951_0003openalex-snapshot
CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH TRANSFORMATIONS
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.