On the public citation graph

Linear algebraic techniques for place/transition nets

https://doi.org/10.1007/bfb0046839
0 signed · 51 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 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-48745-x_3openalex-snapshot
Structural Methods to Improve the Symbolic Analysis of Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_28openalex-snapshot
On the analysis and synthesis of free choice systems
inferred← citeshttps://doi.org/10.1007/3-540-56863-8_37openalex-snapshot
Interleaving functional and performance structural analysis of net models
inferred← citeshttps://doi.org/10.1007/3-540-56863-8_55openalex-snapshot
Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_68openalex-snapshot
Understanding behavior of business process models
inferred← citeshttps://doi.org/10.1007/3-540-61055-3_41openalex-snapshot
Checking system properties via integer programming
inferred← citeshttps://doi.org/10.1007/3-540-65306-6_15openalex-snapshot
Place/transition Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-65306-6_18openalex-snapshot
Basic linear algebraic techniques for place/transition nets
inferred← citeshttps://doi.org/10.1007/3-540-65306-6_19openalex-snapshot
Linear algebraic and linear programming techniques for the analysis of place/transition net systems
inferred← citeshttps://doi.org/10.1007/978-1-84996-474-6_4openalex-snapshot
Discrete Modeling
inferred← citeshttps://doi.org/10.1007/978-3-319-19488-2_14openalex-snapshot
Characterizing Stable Inequalities of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-24664-0_8openalex-snapshot
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-17796-5_1openalex-snapshot
Structural Analysis for Stochastic Process Algebra Models
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_21openalex-snapshot
Linear Algebraic Calculation of Deadlocks and Traps
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/bf00572403openalex-snapshot
A rule-based system for generating a ladder logic control program from a high-level systems model
inferred← citeshttps://doi.org/10.1007/bf01888226openalex-snapshot
Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
inferred← citeshttps://doi.org/10.1007/bf02086791openalex-snapshot
Contributions of net-theory to the modelling of OR-problems from a logically based point of view
inferred← citeshttps://doi.org/10.1007/bf02601634openalex-snapshot
Building AGV traffic-control models with place-transition nets
inferred← citeshttps://doi.org/10.1007/bfb0033542openalex-snapshot
Analysis of autonomous Petri nets with bulk services and arrivals
inferred← citeshttps://doi.org/10.1007/s12544-010-0030-5openalex-snapshot
European railway traffic management system validation using UML/Petri nets modelling strategy
inferred← citeshttps://doi.org/10.1007/s40313-021-00731-yopenalex-snapshot
A Formal Approach to Requirements Engineering of Automated Systems: Facing the Challenge for New Automated Systems
inferred← citeshttps://doi.org/10.1016/0026-2714(91)90004-qopenalex-snapshot
Petri net models of concurrent Ada programs
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90193-lopenalex-snapshot
Some behavioural aspects of net theory
inferred← citeshttps://doi.org/10.1016/0736-5845(95)00015-1openalex-snapshot
Hierarchical multi-layer CAD system for systematic design of complex logic controllers
inferred← citeshttps://doi.org/10.1016/j.accinf.2017.09.002openalex-snapshot
A framework for analytics and simulation of accounting information systems: A Petri net modeling primer
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.041openalex-snapshot
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
inferred← citeshttps://doi.org/10.1016/j.jss.2005.12.022openalex-snapshot
Automatic code generation from high-level Petri-Nets for model driven systems engineering
inferred← citeshttps://doi.org/10.1016/s0005-1098(96)00103-3openalex-snapshot
Reduced-order controllers for continuous and discrete-time singular H∞ control problems based on LMI
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60705-6openalex-snapshot
Control in Multi-threaded Information Systems
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00011-6openalex-snapshot
Formally based modeling and inheritance of behaviour in object-oriented systems
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00078-0openalex-snapshot
How to formalize it?
inferred← citeshttps://doi.org/10.1016/s0965-9978(01)00021-7openalex-snapshot
Generating timed test cases with oracles for real-time software
inferred← citeshttps://doi.org/10.1049/ise.1993.0021openalex-snapshot
Conceptual framework for the design of logic control
inferred← citeshttps://doi.org/10.1080/00207720110051987openalex-snapshot
Estimation of the firing frequencies in discrete and continuous Petri nets models
inferred← citeshttps://doi.org/10.1080/1206212x.2000.11441618openalex-snapshot
Generating Real-Time Software Test Cases by Time Petri Nets
inferred← citeshttps://doi.org/10.1109/3468.553226openalex-snapshot
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals
inferred← citeshttps://doi.org/10.1109/43.736185openalex-snapshot
Structural methods for the synthesis of speed-independent circuits
inferred← citeshttps://doi.org/10.1109/66.705370openalex-snapshot
Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
inferred← citeshttps://doi.org/10.1109/ats.1999.810766openalex-snapshot
Generating test cases for real-time software by time Petri nets model
inferred← citeshttps://doi.org/10.1109/cdc.1994.411308openalex-snapshot
Feedback control of Petri nets based on place invariants
inferred← citeshttps://doi.org/10.1109/cim.1990.128126openalex-snapshot
Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/date.1998.655948openalex-snapshot
Efficient encoding schemes for symbolic analysis of Petri nets
inferred← citeshttps://doi.org/10.1109/eurmic.2000.874531openalex-snapshot
Parallel multiplier designs utilizing a non-binary logic scheme
inferred← citeshttps://doi.org/10.1109/icsmc.1993.385023openalex-snapshot
Interactive cooperative objects: an object-oriented formalism based on Petri nets for user interface design
inferred← citeshttps://doi.org/10.1109/icsmc.2004.1399939openalex-snapshot
Efficient reachability analysis of bounded petri nets using constraint programming
inferred← citeshttps://doi.org/10.1109/mwscas.1989.101815openalex-snapshot
A formalism for critical path analysis of real-time Ada programs
inferred← citeshttps://doi.org/10.13140/rg.2.1.4686.4801openalex-snapshot
VERIFICATION OF AUTOMATED SYSTEMS USING INVARIANTS
inferred← citeshttps://doi.org/10.18452/2454openalex-snapshot
12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005)
inferred← citeshttps://doi.org/10.48550/arxiv.1012.3040openalex-snapshot
Numerically Representing A Stochastic Process Algebra
inferred← citeshttps://doi.org/10.5555/368058.368416openalex-snapshot
Efficient encoding schemes for symbolic analysis of petri 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.