On the public citation graph

Representation theorems for Petri Nets

https://doi.org/10.1007/bfb0052092
0 signed · 37 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.1007/3-540-59293-8_205openalex-snapshot
On the category of Petri net computations
inferredcites →https://doi.org/10.1007/3-540-60249-6_73openalex-snapshot
Axiomatizing Petri net concatenable processes
inferredcites →https://doi.org/10.1007/978-3-642-69968-9openalex-snapshot
Petri Nets
inferredcites →https://doi.org/10.1007/bf03036469openalex-snapshot
Axiomatizing the algebra of net computations and processes
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/0304-3975(95)00121-2openalex-snapshot
Process versus unfolding semantics for Place/Transition Petri nets
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.1016/s0304-3975(96)00009-6openalex-snapshot
An axiomatization of the algebra of Petri net concatenable processes
inferredcites →https://doi.org/10.1017/s0960129597002314openalex-snapshot
On the semantics of place/transition Petri nets
inferredcites →https://doi.org/10.1109/lics.1989.39172openalex-snapshot
Axiomatizing net computations and processes
inferredcites →https://doi.org/10.7146/dpb.v20i363.6594openalex-snapshot
A Linear Specification Language for Petri Nets

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.1999.2819openalex-snapshot
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
inferred← citeshttps://doi.org/10.1006/inco.2001.3050openalex-snapshot
Functorial Models for Petri 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_9openalex-snapshot
Rewriting Logic as a Unifying Framework for Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-49366-2_18openalex-snapshot
A Comparison of Petri Net Semantics under the Collective Token Philosophy
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_11openalex-snapshot
Non-interference by Unfolding
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_17openalex-snapshot
Intransitive Non-Interference by Unfolding
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-39866-0_28openalex-snapshot
Dynamic Modification of System Structures Using LLPNs
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-45208-9_21openalex-snapshot
Algebraic Theories for Contextual Pre-nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_31openalex-snapshot
Models of Computation: A Tribute to Ugo Montanari’s Vision
inferred← citeshttps://doi.org/10.1016/j.tcs.2017.10.004openalex-snapshot
Multilevel transitive and intransitive non-interference, causally
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(01)00318-8openalex-snapshot
Normal forms for algebras of connections
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00362-0openalex-snapshot
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
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)80302-0openalex-snapshot
Functorial semantics for Petri nets under the individual token philosophy
inferred← citeshttps://doi.org/10.1142/9789812562494_0057openalex-snapshot
THE ALGEBRAIC STRUCTURE OF PETRI NETS
inferred← citeshttps://doi.org/10.1145/3559103openalex-snapshot
Whole-grain Petri Nets and Processes
inferred← citeshttps://doi.org/10.7146/brics.v5i17.19423openalex-snapshot
A Comparison of Petri Net Semantics under the Collective Token Philosophy
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.