On the public citation graph

On the semantics of Petri Nets

0 signed · 74 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.1032openalex-snapshot

A Trace Semantics for Petri Nets

inferredcites →https://doi.org/10.1007/3-540-12920-0_13openalex-snapshot

A new definition of morphism on Petri nets

inferredcites →https://doi.org/10.1007/3-540-17906-2_31openalex-snapshot

Event structures

inferredcites →https://doi.org/10.1007/3-540-17945-3_13openalex-snapshot

Petri net models for algebraic theories of concurrency

inferredcites →https://doi.org/10.1007/3-540-18086-9_27openalex-snapshot

Operational Petri net semantics for CCSP

inferredcites →https://doi.org/10.1007/3-540-55719-9_107openalex-snapshot

A trace semantics for Petri Nets

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/978-3-540-47919-2_5openalex-snapshot

Non-Sequential Processes

inferredcites →https://doi.org/10.1007/978-3-642-69968-9openalex-snapshot

Petri Nets

inferredcites →https://doi.org/10.1007/bf01463946openalex-snapshot

Branching processes of Petri nets

inferredcites →https://doi.org/10.1007/bf02915446openalex-snapshot

A distributed operational semantics for CCS based on condition/event systems

inferredcites →https://doi.org/10.1007/bfb0012800openalex-snapshot

Event structure semantics for CCS and related languages

inferredcites →https://doi.org/10.1007/bfb0022474openalex-snapshot

Petri nets, event structures and domains

inferredcites →https://doi.org/10.1016/0304-3975(81)90112-2openalex-snapshot

Petri nets, event structures and domains, part I

inferredcites →https://doi.org/10.1016/0304-3975(87)90090-9openalex-snapshot

Sequential and concurrent behaviour in Petri net theory

inferredcites →https://doi.org/10.1016/0890-5401(87)90032-0openalex-snapshot

Petri nets, algebras, morphisms, and compositionality

inferredcites →https://doi.org/10.1016/0890-5401(90)90013-8openalex-snapshot

Petri nets are monoids

inferredcites →https://doi.org/10.1016/s0019-9958(83)80040-0openalex-snapshot

The non-sequential behaviour of Petri nets

inferredcites →https://doi.org/10.1016/s0065-2458(08)60462-3openalex-snapshot

Information and Computation

inferredcites →https://doi.org/10.1109/lics.1989.39172openalex-snapshot

Axiomatizing net computations and processes

inferredcites →https://doi.org/10.1145/99583.99625openalex-snapshot

Modeling concurrency with geometry

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-45541-8_9openalex-snapshot

Rewriting Logic as a Unifying Framework for Petri Nets

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-48320-9_31openalex-snapshot

On the Semantics of Place/Transition Nets

inferred← citeshttps://doi.org/10.1007/3-540-55610-9_177openalex-snapshot

A survey of basic net models and modular net classes

inferred← citeshttps://doi.org/10.1007/3-540-55610-9_180openalex-snapshot

A survey of equivalence notions for net based systems

inferred← citeshttps://doi.org/10.1007/3-540-57163-9_26openalex-snapshot

On the relation between firing sequences and processes of Petri nets

inferred← citeshttps://doi.org/10.1007/3-540-57208-2_32openalex-snapshot

Local event structures and Petri nets

inferred← citeshttps://doi.org/10.1007/3-540-58152-9_3openalex-snapshot

On the model of computation of place/transition Petri nets

inferred← citeshttps://doi.org/10.1007/3-540-59293-8_205openalex-snapshot

On the category of Petri net computations

inferred← citeshttps://doi.org/10.1007/3-540-61064-2_43openalex-snapshot

Denotational, causal, and operational determinism in event structures

inferred← citeshttps://doi.org/10.1007/3-540-61228-9_91openalex-snapshot

An event structure semantics for graph grammars with parallel productions

inferred← citeshttps://doi.org/10.1007/3-540-61604-7_69openalex-snapshot

Concurrent graph and term graph rewriting

inferred← citeshttps://doi.org/10.1007/3-540-65306-6_23openalex-snapshot

Petri nets and other models of concurrency

inferred← citeshttps://doi.org/10.1007/978-3-031-16103-2_14openalex-snapshot

A Purpose-Guided Log Generation Framework

inferred← citeshttps://doi.org/10.1007/978-3-031-17715-6_5openalex-snapshot

A PO Characterisation of Reconfiguration

inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_1openalex-snapshot

José Meseguer: Scientist and Friend Extraordinaire

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-46464-8_11openalex-snapshot

Unfolding of Double-Pushout Graph Grammars is a Coreflection

inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_18openalex-snapshot

Algebras of Processes of Timed Petri Nets

inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_3openalex-snapshot

Unfolding Graph Transformation Systems: Theory and Applications to Verification

inferred← citeshttps://doi.org/10.1007/978-94-011-0187-5_3openalex-snapshot

Specification of Concurrent Systems: from Petri Nets to Graph Grammars

inferred← citeshttps://doi.org/10.1007/bf01798961openalex-snapshot

Failures semantics based on interval semiwords is a congruence for refinement

inferred← citeshttps://doi.org/10.1007/bf03036469openalex-snapshot

Axiomatizing the algebra of net computations and processes

inferred← citeshttps://doi.org/10.1007/bfb0053542openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/bfb0055061openalex-snapshot

Concatenable graph processes: Relating processes and derivation traces

inferred← citeshttps://doi.org/10.1007/s10559-014-9590-zopenalex-snapshot

On a Homomorphism of a Component Petri Net

inferred← citeshttps://doi.org/10.1016/0304-3975(91)90084-fopenalex-snapshot

Executions: a new partial-order semantics of Petri nets

inferred← citeshttps://doi.org/10.1016/0304-3975(94)90058-2openalex-snapshot

Finite Petri nets as models for recursive causal behaviour

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/0304-3975(95)00121-2openalex-snapshot

Process versus unfolding semantics for Place/Transition Petri nets

inferred← citeshttps://doi.org/10.1016/b978-012170960-0/50035-9openalex-snapshot

High-Level Petri Nets—Extensions, Analysis, and Applications

inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50033-3openalex-snapshot

Process Algebras with Localities

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.026openalex-snapshot

On the Expressiveness of Higher Dimensional Automata

inferred← citeshttps://doi.org/10.1016/j.tcs.2004.04.001openalex-snapshot

Domain and event structure semantics for Petri nets with read and inhibitor arcs

inferred← citeshttps://doi.org/10.1016/j.tcs.2006.02.012openalex-snapshot

On the expressiveness of higher dimensional automata

inferred← citeshttps://doi.org/10.1016/j.tcs.2006.06.024openalex-snapshot

Erratum to “On the expressiveness of higher dimensional automata”

inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.014openalex-snapshot

Configuration structures, event structures and Petri nets

inferred← citeshttps://doi.org/10.1016/j.tcs.2019.01.029openalex-snapshot

Drags: A compositional algebraic framework for graph rewriting

inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00597-2openalex-snapshot

Clustering for Petri nets

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80949-6openalex-snapshot

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80181-1openalex-snapshot

Concurrent Computing: from Petri Nets to Graph Grammars

inferred← citeshttps://doi.org/10.1017/s0960129597002314openalex-snapshot

On the semantics of place/transition Petri nets

inferred← citeshttps://doi.org/10.1017/s096012959700248xopenalex-snapshot

An axiomatization of the category of Petri net computations

inferred← citeshttps://doi.org/10.1109/icsmc.2002.1173218openalex-snapshot

inferred← citeshttps://doi.org/10.1109/lics.1995.523257openalex-snapshot

Configuration structures

inferred← citeshttps://doi.org/10.1109/tits.2016.2518745openalex-snapshot

Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks

inferred← citeshttps://doi.org/10.1142/9789812814951_0003openalex-snapshot

CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH TRANSFORMATIONS

inferred← citeshttps://doi.org/10.14279/depositonce-10252openalex-snapshot

Model Transformation of Model Fragments Using Borrowed Context: Extended Version

inferred← citeshttps://doi.org/10.23638/lmcs-14(3:25)2018openalex-snapshot

Event Structures for Petri nets with Persistence

inferred← citeshttps://doi.org/10.3233/fi-2000-43123406openalex-snapshot

Occurrence Net Logics

inferred← citeshttps://doi.org/10.4204/eptcs.323.1openalex-snapshot

A Complete Language for Faceted Dataflow Programs

inferred← citeshttps://doi.org/10.5281/zenodo.26421openalex-snapshot

Synonymy Of Some Genera Of Ants.

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.