On the public citation graph

Petri Nets: Central Models and Their Properties

https://doi.org/10.1007/bfb0046832
0 signed · 58 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/bfb0046836openalex-snapshot
Behaviour of elementary net systems

What points at this work

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

inferred← citeshttps://doi.org/10.1002/smr.4360060404openalex-snapshot
Inverse‐engineering a simple real‐time program
inferred← citeshttps://doi.org/10.1007/3-540-50580-6_26openalex-snapshot
A survey on the decidability questions for classes of fifo nets
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-56689-9_51openalex-snapshot
Constraints and extensions in a Calculus of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-59205-9_53openalex-snapshot
Process management in-the-many
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_19openalex-snapshot
Linear algebraic and linear programming techniques for the analysis of place/transition net systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-2101-5_4openalex-snapshot
Databases for CIMS and IMS
inferred← citeshttps://doi.org/10.1007/978-1-4615-5441-7_2openalex-snapshot
Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes
inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_8openalex-snapshot
Konzeptionelles und analytisches Prototyping
inferred← citeshttps://doi.org/10.1007/978-94-011-0305-3_1openalex-snapshot
Artificial Intelligence in Industrial Decision Making, Control, and Automation: An Introduction
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_1openalex-snapshot
Introducing Petri nets
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_5openalex-snapshot
Petri nets for manufacturing information systems
inferred← citeshttps://doi.org/10.1007/s11767-001-0010-yopenalex-snapshot
A study of fuzzy logical petri nets and its application
inferred← citeshttps://doi.org/10.1016/0026-2714(91)90010-5openalex-snapshot
An introduction to generalized stochastic Petri nets
inferred← citeshttps://doi.org/10.1016/0164-1212(94)90054-xopenalex-snapshot
Embedding fault-tolerant properties in the design of complex software systems
inferred← citeshttps://doi.org/10.1016/0164-1212(94)90084-1openalex-snapshot
Modeling concurrent programs with colored Petri nets
inferred← citeshttps://doi.org/10.1016/0166-3615(90)90061-sopenalex-snapshot
TORA: A Petri net based tool for rapid prototyping of FMS control systems and its application to assembly
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00011-5openalex-snapshot
Petri-net-based deadlock analysis of Process Algebra programs
inferred← citeshttps://doi.org/10.1016/0167-9236(95)00021-6openalex-snapshot
An integrated approach for the specification of processes and related complex structured objects in business applications
inferred← citeshttps://doi.org/10.1016/0304-3975(87)90090-9openalex-snapshot
Sequential and concurrent behaviour in Petri net theory
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90299-uopenalex-snapshot
A polynomial-time algorithm to decide liveness of bounded free choice nets
inferred← citeshttps://doi.org/10.1016/b978-0-08-041893-3.50008-2openalex-snapshot
Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets
inferred← citeshttps://doi.org/10.1016/b978-0-444-81560-6.50013-7openalex-snapshot
Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems
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.biosystems.2021.104531openalex-snapshot
VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology
inferred← citeshttps://doi.org/10.1016/j.conengprac.2024.106099openalex-snapshot
Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems
inferred← citeshttps://doi.org/10.1016/j.cose.2013.08.001openalex-snapshot
An adaptive risk management and access control framework to mitigate insider threats
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.030openalex-snapshot
Towards Multiple Access in Generic Component Architectures
inferred← citeshttps://doi.org/10.1016/j.isatra.2018.08.022openalex-snapshot
Load balanced scheduling and reliability modeling of grid transaction processing system using colored Petri nets
inferred← citeshttps://doi.org/10.1016/j.rcim.2019.101859openalex-snapshot
In-process machine vision monitoring of tool wear for Cyber-Physical Production Systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.019openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.04.020openalex-snapshot
Forward analysis and model checking for trace bounded WSTS
inferred← citeshttps://doi.org/10.1016/j.tcs.2017.07.034openalex-snapshot
Chromar, a language of parameterised agents
inferred← citeshttps://doi.org/10.1016/j.vehcom.2021.100352openalex-snapshot
A process algebraic mutation framework with application to a vehicle charging protocol
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43774-8openalex-snapshot
Business Process Orientation in Software Development
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45305-5openalex-snapshot
TOOD: Task Object Oriented Description for Ergonomic Interfaces Specification
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49401-8openalex-snapshot
Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51372-5openalex-snapshot
Complexity Measures for the Analysis of Specifications of (Reliability Related) Computer Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54839-9openalex-snapshot
Identification and Estimation of Parameters for a Computer-based Organization
inferred← citeshttps://doi.org/10.1109/21.87079openalex-snapshot
A general organizer model for robotic assemblies and intelligent robotic systems
inferred← citeshttps://doi.org/10.1109/24.210271openalex-snapshot
A modular-network architecture for performance enhancement in extended local area network
inferred← citeshttps://doi.org/10.1109/3477.740170openalex-snapshot
Process and data nets: the conceptual model of the M*-OBJECT methodology
inferred← citeshttps://doi.org/10.1109/acc.2009.5159890openalex-snapshot
Petri nets control design for hybrid electrical energy systems
inferred← citeshttps://doi.org/10.1109/cacsd.1994.288925openalex-snapshot
Modular simulation for logic, distributed, real-time control systems
inferred← citeshttps://doi.org/10.1109/etfa.1992.683243openalex-snapshot
PDN: A Process And Data Net Model For CIM Design And Prototyping
inferred← citeshttps://doi.org/10.1109/etfa.1997.616291openalex-snapshot
A test case generator for the validation of high-level Petri nets
inferred← citeshttps://doi.org/10.1109/hicss.1990.205211openalex-snapshot
Petri net models of concurrent Ada programs
inferred← citeshttps://doi.org/10.1109/icsmc.2003.1244551openalex-snapshot
Structural sensitivity for the conflicts analysis in Petri nets
inferred← citeshttps://doi.org/10.1109/iros.1991.174633openalex-snapshot
Coordinated execution of trajectories by multiple mobile robots
inferred← citeshttps://doi.org/10.1109/isic.1990.128433openalex-snapshot
A review of intelligent control based methodologies for modeling and analysis of hierarchically intelligent systems
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.1109/tcad.2010.2049067openalex-snapshot
A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules
inferred← citeshttps://doi.org/10.1145/3229710.3229746openalex-snapshot
CPNs Based Reliability Modeling for On-Demand Computing Based Transaction Processing
inferred← citeshttps://doi.org/10.3390/app15020680openalex-snapshot
A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System
inferred← citeshttps://doi.org/10.3390/fi12030050openalex-snapshot
Multi-formalism Models for Performance Engineering
inferred← citeshttps://doi.org/10.3390/s21248433openalex-snapshot
Extended Hierarchical Fuzzy Interpreted Petri Net
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.