On the public citation graph
Petri nets: Basic notions, structure, behaviour
0 signed · 124 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-10001-6_22openalex-snapshot
Elements of general net theory
inferredcites →https://doi.org/10.1007/3-540-10001-6_23openalex-snapshot
Formal properties of place/transition nets
inferredcites →https://doi.org/10.1007/3-540-10001-6_27openalex-snapshot
The relative strength of K-density
inferredcites →https://doi.org/10.1007/3-540-15204-0_20openalex-snapshot
Semantics of concurrent systems: A modular fixed-point trace approach
inferredcites →https://doi.org/10.1007/3-540-15204-0_8openalex-snapshot
A note on observable occurrence nets
inferredcites →https://doi.org/10.1007/978-3-0348-5879-3_10openalex-snapshot
Grundsätzliches zur Beschreibung Diskreter Prozesse
inferredcites →https://doi.org/10.1007/bf02084163openalex-snapshot
State-transition structures in physics and in computation
inferredcites →https://doi.org/10.1007/bfb0022544openalex-snapshot
Substitution systems — A family of system models based on concurrency
inferredcites →https://doi.org/10.1016/0304-3975(80)90004-3openalex-snapshot
Behaviours of concurrent systems
inferredcites →https://doi.org/10.1016/0304-3975(81)90049-9openalex-snapshot
Coloured petri nets and the invariant-method
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(81)90113-4openalex-snapshot
System modelling with high-level Petri nets
inferredcites →https://doi.org/10.1016/0304-3975(83)90021-xopenalex-snapshot
Subset languages of Petri nets part I: The relationship to string languages and normal forms
inferredcites →https://doi.org/10.1016/0304-3975(83)90070-1openalex-snapshot
D-continuous causal nets: A model of non-sequential processes
inferredcites →https://doi.org/10.1016/0304-3975(83)90115-9openalex-snapshot
Infinite behaviour of Petri nets
inferredcites →https://doi.org/10.1016/0304-3975(84)90137-3openalex-snapshot
A theory of bipolar synchronization schemes
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/s0019-9958(84)80052-2openalex-snapshot
A fresh look at free choice nets
inferredcites →https://doi.org/10.1016/s0022-0000(69)80011-5openalex-snapshot
Parallel program schemata
inferredcites →https://doi.org/10.1016/s0022-0000(76)80047-5openalex-snapshot
Computation sequence sets
inferredcites →https://doi.org/10.1051/ita/1979130100191openalex-snapshot
On the hierarchy of Petri net languages
inferredcites →https://doi.org/10.1137/0202008openalex-snapshot
On the Equivalence of Asynchronous Control Structures
inferredcites →https://doi.org/10.3233/fi-1980-3107openalex-snapshot
A theorem on the characteristics of non-sequential processes
inferredcites →https://doi.org/10.7146/dpb.v6i78.7691openalex-snapshot
Concurrent Program Schemes and their Interpretations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/asjc.690openalex-snapshot
Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized P etri Nets
inferred← citeshttps://doi.org/10.1002/tee.22188openalex-snapshot
Confusion diagnosis and avoidance of discrete event systems using supervisory control
inferred← citeshttps://doi.org/10.1007/3-540-17945-3_13openalex-snapshot
Petri net models for algebraic theories of concurrency
inferred← citeshttps://doi.org/10.1007/3-540-18086-9_29openalex-snapshot
A strong part of concurrency
inferred← citeshttps://doi.org/10.1007/3-540-19488-6_147openalex-snapshot
Some behavioural aspects of net theory
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_4openalex-snapshot
Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_7openalex-snapshot
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
inferred← citeshttps://doi.org/10.1007/3-540-45594-9_1openalex-snapshot
Techniques for Modelling Workflows and their Support of Reuse
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_2openalex-snapshot
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
inferred← citeshttps://doi.org/10.1007/3-540-50403-6_42openalex-snapshot
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence
inferred← citeshttps://doi.org/10.1007/3-540-50580-6_27openalex-snapshot
The construction of EN systems from a given trace behaviour
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_82openalex-snapshot
Refinement of concurrent systems based on local state transformations
inferred← citeshttps://doi.org/10.1007/3-540-53479-2_19openalex-snapshot
On distributed languages and models for distributed computation
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_36openalex-snapshot
Stubborn sets for reduced state space generation
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_167openalex-snapshot
The box calculus: A new causal algebra with multi-label communication
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-56689-9_51openalex-snapshot
Constraints and extensions in a Calculus of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-65306-6_16openalex-snapshot
Principles of high-level net theory
inferred← citeshttps://doi.org/10.1007/978-1-4757-9805-0_36openalex-snapshot
Morphisms to Preserve Sructural Properties of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-17465-1_9openalex-snapshot
Computing the Expected Execution Time of Probabilistic Workflow Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-47919-2_4openalex-snapshot
Behaviour of Elementary Net Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_10openalex-snapshot
Applying Step Coverability Trees to Communicating Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_23openalex-snapshot
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_15openalex-snapshot
On Condition/Event Representations of Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_36openalex-snapshot
Interface as a Basic Concept for Systems Specification and Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_8openalex-snapshot
Some Classes of Live and Safe Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-73000-9_8openalex-snapshot
Kausalität und Temporalität bei der Modellbildung
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_15openalex-snapshot
On the Step Branching Time Closure of Free-Choice Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-53401-4_11openalex-snapshot
A Formal Framework for Diagnostic Analysis for Errors of Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-55862-1_9openalex-snapshot
Multiplicative Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-7908-1840-6_8openalex-snapshot
Rough Set Methods for the Synthesis and Analysis of Concurrent Processes
inferred← citeshttps://doi.org/10.1007/978-981-97-2272-3_25openalex-snapshot
Numerical P Systems with Thresholds and Petri Nets
inferred← citeshttps://doi.org/10.1007/bf01887206openalex-snapshot
Event fairness and non-interleaving concurrency
inferred← citeshttps://doi.org/10.1007/bf02983375openalex-snapshot
A characterization of set representable labeled partial 2-structures through decompositions
inferred← citeshttps://doi.org/10.1007/bf03180565openalex-snapshot
An algebraic characterisation of elementary net system (observable) state space
inferred← citeshttps://doi.org/10.1007/bfb0013031openalex-snapshot
Modeling concurrency by partial orders and nonlinear transition systems
inferred← citeshttps://doi.org/10.1007/bfb0013034openalex-snapshot
Fully abstract models for a process language with refinement
inferred← citeshttps://doi.org/10.1007/bfb0021020openalex-snapshot
Systems modeling and process control
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90193-lopenalex-snapshot
Some behavioural aspects of net theory
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90087-iopenalex-snapshot
Event structures and trace monoids
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90333-wopenalex-snapshot
Determinism → (event structure isomorphism = step sequence equivalence)
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/0304-3975(95)00123-9openalex-snapshot
On the border of causality: Contact and confusion
inferred← citeshttps://doi.org/10.1016/0950-5849(89)90159-6openalex-snapshot
Survey of fairness notions
inferred← citeshttps://doi.org/10.1016/bs.adcom.2014.10.003openalex-snapshot
Advances in Behavior Modeling
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.04.019openalex-snapshot
Typed Event Structures and the π-Calculus
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.07.009openalex-snapshot
Probabilistic π-Calculus and Event Structures
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.10.007openalex-snapshot
An Interpretation of CCS into Ludics
inferred← citeshttps://doi.org/10.1016/j.peva.2017.09.006openalex-snapshot
Polynomial analysis algorithms for free choice Probabilistic Workflow Nets
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.01.024openalex-snapshot
Typed event structures and the linear π -calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00327-9openalex-snapshot
A generic causal model for place latency
inferred← citeshttps://doi.org/10.1016/s1383-7621(96)00037-9openalex-snapshot
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems
inferred← citeshttps://doi.org/10.1017/s0960129520000262openalex-snapshot
Petri nets based on Lawvere theories
inferred← citeshttps://doi.org/10.1093/imamci/dnu041openalex-snapshot
Confusion avoidance for discrete event systems by P/E constraints and supervisory control
inferred← citeshttps://doi.org/10.1109/70.143353openalex-snapshot
A hybrid methodology for synthesis of Petri net models for manufacturing systems
inferred← citeshttps://doi.org/10.1109/apsec.2011.49openalex-snapshot
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool
inferred← citeshttps://doi.org/10.1109/etfa.2016.7733522openalex-snapshot
A holistic and adaptive approach for automated prototyping of image processing functionality
inferred← citeshttps://doi.org/10.1109/iccad.1990.129922openalex-snapshot
Knowledge based design flow management
inferred← citeshttps://doi.org/10.1109/iceta.2014.7107606openalex-snapshot
Building video streaming platform for educational content delivery
inferred← citeshttps://doi.org/10.1109/icsai61474.2023.10423351openalex-snapshot
Generating Random Petri Nets for GPenSIM environment
inferred← citeshttps://doi.org/10.1109/icsess.2010.5552409openalex-snapshot
Notice of Retraction: Software architecture transformation approach based on architecture styles
inferred← citeshttps://doi.org/10.1109/iscas.1991.176493openalex-snapshot
Net system morphisms and observability in system design
inferred← citeshttps://doi.org/10.1109/iscas.1992.230697openalex-snapshot
Speed-independent circuit design using net-theoretic techniques
inferred← citeshttps://doi.org/10.1109/issre.2001.989484openalex-snapshot
Deriving tests from software architectures
inferred← citeshttps://doi.org/10.1109/iwssd.1991.213076openalex-snapshot
Prototyping and formal analysis of concurrent and distributed systems
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238785openalex-snapshot
GSPNs versus SPNs: what is the actual role of immediate transitions?
inferred← citeshttps://doi.org/10.1109/scc.2016.21openalex-snapshot
Automatic Composition of Service-Based Image Processing Applications
inferred← citeshttps://doi.org/10.1109/summa64428.2024.10803793openalex-snapshot
Petri Nets as Zero-Degree Asynchronous Control Systems
inferred← citeshttps://doi.org/10.1142/9789812562494_0057openalex-snapshot
THE ALGEBRAIC STRUCTURE OF PETRI NETS
inferred← citeshttps://doi.org/10.1155/2014/825313openalex-snapshot
Confusion Analysis and Detection for Workflow Nets
inferred← citeshttps://doi.org/10.1155/2015/636959openalex-snapshot
Confusion Control in Generalized Petri Nets Using Synchronized Events
inferred← citeshttps://doi.org/10.11606/t.55.2004.tde-13042005-152434openalex-snapshot
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
inferred← citeshttps://doi.org/10.14279/depositonce-1475openalex-snapshot
Formal Approach and Applications of Algebraic Higher-Order Nets
inferred← citeshttps://doi.org/10.14279/depositonce-2392openalex-snapshot
Grid workflow scheduling based on incomplete information
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.30.426openalex-snapshot
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
inferred← citeshttps://doi.org/10.3233/fi-2009-199openalex-snapshot
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
inferred← citeshttps://doi.org/10.3233/fi-2011-505openalex-snapshot
Multiplicative Transition Systems
inferred← citeshttps://doi.org/10.3233/fun-2005-681-206openalex-snapshot
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
inferred← citeshttps://doi.org/10.3233/fun-2008-851-433openalex-snapshot
An Algebraic Framework for Defining Random Concurrent Behaviours
inferred← citeshttps://doi.org/10.47749/t/unicamp.1992.55005openalex-snapshot
Um ambiente de edição e simulação de estado-gramas
inferred← citeshttps://doi.org/10.48550/arxiv.2105.12905openalex-snapshot
Composing Behaviors of Networks
inferred← citeshttps://doi.org/10.5555/952786.952796openalex-snapshot
Prototyping and formal analysis of concurrent and distributed systems
inferred← citeshttps://doi.org/10.70675/4731b3aezfbdaz4b44z8a23z8453dbb0b410openalex-snapshot
Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains
inferred← citeshttps://doi.org/10.9746/sicetr1965.28.401openalex-snapshot
On the Redundancy of Condition/Event-Nets
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.