On the public citation graph
Discrete, Continuous, and Hybrid Petri Nets
0 signed · 671 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/978-3-642-10669-9_7openalex-snapshot
Hybrid Petri Nets with Speeds Depending on the C-Marking
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470611647.ch18openalex-snapshot
Performance Evaluation in Manufacturing Systems
inferred← citeshttps://doi.org/10.1002/9781118557679.ch3openalex-snapshot
QoC‐Aware Dynamic Network QoS Adaptation
inferred← citeshttps://doi.org/10.1002/9781119165057.ch10openalex-snapshot
Analysis of biological networks
inferred← citeshttps://doi.org/10.1002/asjc.215openalex-snapshot
Special issue on “Petri Nets for system control and automation”
inferred← citeshttps://doi.org/10.1002/asjc.528openalex-snapshot
Controller Synthesis with Highly Simplified Linear Constraints
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/rnc.2958openalex-snapshot
Event-driven model predictive control of timed hybrid Petri nets
inferred← citeshttps://doi.org/10.1007/11494744_4openalex-snapshot
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control
inferred← citeshttps://doi.org/10.1007/11730637_31openalex-snapshot
Estimation and Conflict Detection in Human Controlled Systems
inferred← citeshttps://doi.org/10.1007/11767589_11openalex-snapshot
From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
inferred← citeshttps://doi.org/10.1007/11867340_17openalex-snapshot
On the Computational Power of Timed Differentiable Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-34774-7_49openalex-snapshot
Optimal Control of Timed Continuous Petri Nets via Explicit MPC
inferred← citeshttps://doi.org/10.1007/978-0-387-09655-1_15openalex-snapshot
A Case Study in Model-driven Synthetic Biology
inferred← citeshttps://doi.org/10.1007/978-1-4419-5797-9_32openalex-snapshot
Discrete Modelling: Petri Net and Logical Approaches
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_18openalex-snapshot
Introduction to Fluid Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_20openalex-snapshot
Continuous Petri Nets: Controllability and Control
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_53-1openalex-snapshot
Modeling, Analysis and Control of Discrete Event Systems as Petri Nets
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_55-1openalex-snapshot
Discrete Event Systems and Hybrid Systems, Connections Between
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_59-1openalex-snapshot
Applications of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_59-2openalex-snapshot
Applications of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-84882-244-3openalex-snapshot
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
inferred← citeshttps://doi.org/10.1007/978-1-84882-244-3_8openalex-snapshot
Conclusions and Future Research
inferred← citeshttps://doi.org/10.1007/978-3-030-01632-6_8openalex-snapshot
A Generalized Net Model for the Coordination and Synchronization of Human and Computer-Based Expert Type Decision Support Activities
inferred← citeshttps://doi.org/10.1007/978-3-030-17297-8_13openalex-snapshot
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-30821-6_1openalex-snapshot
Introduction to Estimation and Inference in Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-44184-5_272openalex-snapshot
Active Power Control of Wind Power Plants for Grid Integration
inferred← citeshttps://doi.org/10.1007/978-3-030-44184-5_55openalex-snapshot
Discrete Event Systems and Hybrid Systems, Connections Between
inferred← citeshttps://doi.org/10.1007/978-3-030-50936-1_49openalex-snapshot
Systems Approach Based on Petri Nets as a Method for Modeling and Analysis of Complex Biological Systems Presented on the Example of Atherosclerosis Development Process
inferred← citeshttps://doi.org/10.1007/978-3-030-65955-4_7openalex-snapshot
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-76787-7_9openalex-snapshot
Bipartite Graphs—Petri Nets in Biology Modeling
inferred← citeshttps://doi.org/10.1007/978-3-030-88911-1_1openalex-snapshot
Safety and Security of Domino Effects in the Process Industry: The State of the Art
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_11openalex-snapshot
Interconnections Between Multiset Grammars and Models of Computation
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_2openalex-snapshot
Sociotechnological Systems and Associated Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-07013-1_22openalex-snapshot
Model Checking of UML Activity Diagrams in Logic Controllers Design
inferred← citeshttps://doi.org/10.1007/978-3-319-07233-3_34openalex-snapshot
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
inferred← citeshttps://doi.org/10.1007/978-3-319-08491-6_4openalex-snapshot
Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-10984-8_1openalex-snapshot
Visual Analytics of Signalling Pathways Using Time Profiles
inferred← citeshttps://doi.org/10.1007/978-3-319-19488-2_10openalex-snapshot
Charlie – An Extensible Petri Net Analysis Tool
inferred← citeshttps://doi.org/10.1007/978-3-319-23294-2_4openalex-snapshot
Designing an Integrated Surgical Care Delivery System Using Axiomatic Design and Petri Net Modeling
inferred← citeshttps://doi.org/10.1007/978-3-319-26725-8_1openalex-snapshot
Petri Nets in Design of Control Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-26725-8_12openalex-snapshot
Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model
inferred← citeshttps://doi.org/10.1007/978-3-319-29133-8_9openalex-snapshot
Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-40566-7_14openalex-snapshot
Identification of Transition Models of Biological Systems in the Presence of Transition Noise
inferred← citeshttps://doi.org/10.1007/978-3-319-45378-1_45openalex-snapshot
PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties
inferred← citeshttps://doi.org/10.1007/978-3-319-63949-9_25openalex-snapshot
The Reliability of Critical Systems in Railway Transport Based on the Track Rail Circuit
inferred← citeshttps://doi.org/10.1007/978-3-319-74014-0_9openalex-snapshot
Diagnosis of Hybrid Systems Using Hybrid Particle Petri Nets: Theory and Application on a Planetary Rover
inferred← citeshttps://doi.org/10.1007/978-3-319-74974-7_1openalex-snapshot
Bio-modeling Using Petri Nets: A Computational Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-99301-0_4openalex-snapshot
Hetero-functional Graph Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-99301-0_5openalex-snapshot
Modeling Interdependent Smart City Infrastructure Systems with HFGT
inferred← citeshttps://doi.org/10.1007/978-3-540-44928-7_10openalex-snapshot
Reachability Graph for Autonomous Continuous Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_28openalex-snapshot
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68894-5_7openalex-snapshot
Petri Nets for Systems and Synthetic Biology
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_19openalex-snapshot
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_64openalex-snapshot
Reachability Analysis of a Switched Buffer Network
inferred← citeshttps://doi.org/10.1007/978-3-540-85058-8_7openalex-snapshot
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88869-7_19openalex-snapshot
Understanding Network Behavior by Structured Representations of Transition Invariants
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_13openalex-snapshot
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
inferred← citeshttps://doi.org/10.1007/978-3-642-15228-3_2openalex-snapshot
Architecture Frameworks, Model-Driven Architecture, and Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-15615-1_48openalex-snapshot
Ion Channel Modeling and Simulation Using Hybrid Functional Petri Net
inferred← citeshttps://doi.org/10.1007/978-3-642-18234-1_6openalex-snapshot
Biologische Netzwerke als Petri-Netze
inferred← citeshttps://doi.org/10.1007/978-3-642-20614-6_10openalex-snapshot
Methods of Automata Theory in Telecommunication Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_2openalex-snapshot
How Might Petri Nets Enhance Your Systems Biology Toolkit
inferred← citeshttps://doi.org/10.1007/978-3-642-23226-8_85openalex-snapshot
Petri Net Based on Behavior of Token and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-25992-0_69openalex-snapshot
Collaboration and Collision Functions for Plan-Based and Event-Driven Mission Control
inferred← citeshttps://doi.org/10.1007/978-3-642-27449-7_19openalex-snapshot
Using Hybrid Petri Nets for Performance Analysis in Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-27549-4_70openalex-snapshot
Unfoldings of Bounded Hybrid Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31951-8_27openalex-snapshot
Knowledge-Guided Identification of Petri Net Models of Large Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_8openalex-snapshot
Asynchronous Abstract Machines: Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-33365-1_11openalex-snapshot
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
inferred← citeshttps://doi.org/10.1007/978-3-642-33757-4_7openalex-snapshot
Petri Nets Approach to Modeling of Immune System and Autism
inferred← citeshttps://doi.org/10.1007/978-3-642-34347-6_3openalex-snapshot
A Compositional Model for Gesture Definition
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_14openalex-snapshot
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-41010-9_7openalex-snapshot
Complex Digital System Design: A Methodology and Its Application to Medical Implants
inferred← citeshttps://doi.org/10.1007/978-3-642-53856-8_54openalex-snapshot
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-60651-3_7openalex-snapshot
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
inferred← citeshttps://doi.org/10.1007/s00170-011-3817-1openalex-snapshot
A general technique for the PLC-Based implementation of RW supervisors with time delay functions
inferred← citeshttps://doi.org/10.1007/s00186-011-0353-6openalex-snapshot
Encoding the dynamics of deterministic systems
inferred← citeshttps://doi.org/10.1007/s00449-010-0507-6openalex-snapshot
Some aspects of the anemia of chronic disorders modeled and analyzed by petri net based approach
inferred← citeshttps://doi.org/10.1007/s10115-013-0616-zopenalex-snapshot
Learning and clustering of fuzzy cognitive maps for travel behaviour analysis
inferred← citeshttps://doi.org/10.1007/s10270-014-0425-1openalex-snapshot
Petri nets for the control of discrete event systems
inferred← citeshttps://doi.org/10.1007/s10489-006-0030-2openalex-snapshot
A framework for formal modeling and analysis of organizations
inferred← citeshttps://doi.org/10.1007/s10626-006-8135-7openalex-snapshot
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra
inferred← citeshttps://doi.org/10.1007/s10626-007-0034-zopenalex-snapshot
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
inferred← citeshttps://doi.org/10.1007/s10626-008-0042-7openalex-snapshot
Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems
inferred← citeshttps://doi.org/10.1007/s10626-008-0049-0openalex-snapshot
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
inferred← citeshttps://doi.org/10.1007/s10626-011-0116-9openalex-snapshot
On fluidization of discrete event models: observation and control of continuous Petri nets
inferred← citeshttps://doi.org/10.1007/s10626-014-0186-6openalex-snapshot
Compositions of (max, +) automata
inferred← citeshttps://doi.org/10.1007/s10626-015-0214-1openalex-snapshot
Determinization of timed Petri nets behaviors
inferred← citeshttps://doi.org/10.1007/s10626-016-0225-6openalex-snapshot
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
inferred← citeshttps://doi.org/10.1007/s10626-017-0238-9openalex-snapshot
Fluid approximation of Petri net models with relatively small populations
inferred← citeshttps://doi.org/10.1007/s10626-019-00290-0openalex-snapshot
Time-optimal control of large-scale systems of systems using compositional optimization
inferred← citeshttps://doi.org/10.1007/s10626-019-00301-0openalex-snapshot
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
inferred← citeshttps://doi.org/10.1007/s10626-021-00347-zopenalex-snapshot
Interpreted synchronous extension of time Petri nets
inferred← citeshttps://doi.org/10.1007/s10916-011-9739-5openalex-snapshot
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample
inferred← citeshttps://doi.org/10.1007/s10994-018-5709-1openalex-snapshot
Identification of biological transition systems using meta-interpreted logic programs
inferred← citeshttps://doi.org/10.1007/s11047-009-9152-xopenalex-snapshot
Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
inferred← citeshttps://doi.org/10.1007/s11047-010-9180-6openalex-snapshot
Petri nets for modelling metabolic pathways: a survey
inferred← citeshttps://doi.org/10.1007/s11047-011-9263-zopenalex-snapshot
Preface: Petri nets for Systems and Synthetic Biology
inferred← citeshttps://doi.org/10.1007/s11227-020-03207-zopenalex-snapshot
A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping
inferred← citeshttps://doi.org/10.1007/s11334-009-0110-7openalex-snapshot
Performance and energy consumption estimation for commercial off-the-shelf component system design
inferred← citeshttps://doi.org/10.1007/s12555-012-9408-6openalex-snapshot
A unified frame work for discrete event systems
inferred← citeshttps://doi.org/10.1007/s12667-016-0205-9openalex-snapshot
Fault detection and power distribution optimization of smart grids based on hybrid Petri net
inferred← citeshttps://doi.org/10.1007/s13177-017-0144-4openalex-snapshot
Modelling and Analysis of Oversaturated Intersections Using Jointly Hybrid Petri net and Hybrid Automata
inferred← citeshttps://doi.org/10.1007/s13369-020-04540-4openalex-snapshot
Development of a New Strategy to Extract Dangerous Scenarios from Petrochemical Industry Installation
inferred← citeshttps://doi.org/10.1007/s40313-016-0275-xopenalex-snapshot
Hybrid Petri Nets and Hybrid Automata for Modeling and Control of Two Adjacent Oversaturated Intersections
inferred← citeshttps://doi.org/10.1007/s40313-017-0343-xopenalex-snapshot
Improving the Verification of Real-Time Systems Using Time Petri Nets
inferred← citeshttps://doi.org/10.1016/b978-0-12-801213-0.00007-1openalex-snapshot
BioModel Engineering with Petri Nets
inferred← citeshttps://doi.org/10.1016/b978-0-12-824536-1.00017-4openalex-snapshot
A two-level deterministic reasoning pattern to curb the spread of COVID-19 in Africa
inferred← citeshttps://doi.org/10.1016/b978-008044613-4.50010-0openalex-snapshot
On Sampling Continuous Timed Petri Nets: Reachability ”Equivalence” Under Infinite Servers Semantics
inferred← citeshttps://doi.org/10.1016/b978-008044613-4.50070-7openalex-snapshot
A Hybrid Approach for Safety Analysis of Aircraft Systems
inferred← citeshttps://doi.org/10.1016/bs.mcps.2021.05.012openalex-snapshot
Approaches to domino effects evolution and risk assessment
inferred← citeshttps://doi.org/10.1016/j.apenergy.2010.12.021openalex-snapshot
Environmental cost of distribution transformer losses
inferred← citeshttps://doi.org/10.1016/j.apm.2012.07.059openalex-snapshot
Modeling, analysis and performance evaluation for fault diagnosis and Fault Tolerant Control in bottle-filling plant modeled using Hybrid Petri nets
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.001openalex-snapshot
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.04.006openalex-snapshot
Petri nets and Automatic Control: A historical perspective
inferred← citeshttps://doi.org/10.1016/j.autcon.2017.12.007openalex-snapshot
Stochastic Petri net-based modelling of the durability of renderings
inferred← citeshttps://doi.org/10.1016/j.automatica.2007.10.031openalex-snapshot
Reduction of constraints for controller synthesis based on safe Petri Nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2010.10.047openalex-snapshot
Timing and liveness in continuous Petri nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2013.02.006openalex-snapshot
IPA for continuous stochastic marked graphs
inferred← citeshttps://doi.org/10.1016/j.biosystems.2008.12.003openalex-snapshot
New insights into the human body iron metabolism analyzed by a Petri net based approach
inferred← citeshttps://doi.org/10.1016/j.biosystems.2019.02.005openalex-snapshot
Computational modeling and analysis of the impacts of sleep deprivation on glucose stimulated insulin secretion
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.biosystems.2025.105415openalex-snapshot
An algorithm for the transformation of the Petri net models of biological signaling networks into influence graphs
inferred← citeshttps://doi.org/10.1016/j.cad.2009.06.012openalex-snapshot
Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets
inferred← citeshttps://doi.org/10.1016/j.cie.2018.12.019openalex-snapshot
A classification and review of timed Markov models of manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.compbiolchem.2018.05.023openalex-snapshot
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks
inferred← citeshttps://doi.org/10.1016/j.conengprac.2010.03.013openalex-snapshot
The impact of ICT on intermodal transportation systems: A modelling approach by Petri nets
inferred← citeshttps://doi.org/10.1016/j.conengprac.2014.05.008openalex-snapshot
Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry
inferred← citeshttps://doi.org/10.1016/j.conengprac.2014.06.005openalex-snapshot
Modelling and control of an assembly/disassembly mechatronics line served by mobile robot with manipulator
inferred← citeshttps://doi.org/10.1016/j.conengprac.2014.09.008openalex-snapshot
Formal representation of GRAFCET to automatically generate control code
inferred← citeshttps://doi.org/10.1016/j.conengprac.2017.03.012openalex-snapshot
Transformation of GRAFCET to PLC code including hierarchical structures
inferred← citeshttps://doi.org/10.1016/j.conengprac.2017.08.007openalex-snapshot
Intermodal terminal planning by Petri Nets and Data Envelopment Analysis
inferred← citeshttps://doi.org/10.1016/j.conengprac.2022.105168openalex-snapshot
An effective approach for fault diagnosis of Discrete-Event Systems modeled as safe labeled Petri nets
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101749openalex-snapshot
PLC-SEIFF: A programmable logic controller security incident forensics framework based on automatic construction of security constraints
inferred← citeshttps://doi.org/10.1016/j.cosrev.2009.01.002openalex-snapshot
Computational challenges in systems biology
inferred← citeshttps://doi.org/10.1016/j.dam.2008.06.053openalex-snapshot
Modeling the process of human body iron homeostasis using a variant of timed Petri nets
inferred← citeshttps://doi.org/10.1016/j.ejcon.2023.100809openalex-snapshot
Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs
inferred← citeshttps://doi.org/10.1016/j.ejcon.2023.100888openalex-snapshot
Feedback control to guarantee marking constraints in timed event graphs including disturbances: Application to disassembly systems
inferred← citeshttps://doi.org/10.1016/j.ejor.2011.09.018openalex-snapshot
Production scheduling with alternative process plans
inferred← citeshttps://doi.org/10.1016/j.engappai.2017.12.002openalex-snapshot
On-line robust graphical diagnoser for hybrid dynamical systems
inferred← citeshttps://doi.org/10.1016/j.engappai.2023.106853openalex-snapshot
Learn-to-supervise: Causal reinforcement learning for high-level control in industrial processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.018openalex-snapshot
Composition Colored Petri Nets for the Refinement of Reaction-based Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.023openalex-snapshot
Forecasting Passenger Loads in Transportation Networks
inferred← citeshttps://doi.org/10.1016/j.eswa.2018.07.043openalex-snapshot
Sustainable procurement with Coloured Petri Nets. Application and extension of the proposed model
inferred← citeshttps://doi.org/10.1016/j.future.2010.06.008openalex-snapshot
A workflow framework for intelligent service composition
inferred← citeshttps://doi.org/10.1016/j.future.2019.10.045openalex-snapshot
Computation of the normalising constant for product-form models of distributed systems with synchronisation
inferred← citeshttps://doi.org/10.1016/j.genrep.2020.100938openalex-snapshot
In-silico modeling and analysis of the therapeutic potential of miRNA-7 on EGFR associated signaling network involved in breast cancer
inferred← citeshttps://doi.org/10.1016/j.ic.2014.11.001openalex-snapshot
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.218openalex-snapshot
Continuous Petri Nets and Hybrid Automata for the analysis of manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.309openalex-snapshot
Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.474openalex-snapshot
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2530openalex-snapshot
Regulation Control in Interpreted Petri Nets Under Partial Observation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.063openalex-snapshot
Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.045openalex-snapshot
Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET
inferred← citeshttps://doi.org/10.1016/j.ijcip.2016.11.002openalex-snapshot
Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory
inferred← citeshttps://doi.org/10.1016/j.ijhydene.2016.05.138openalex-snapshot
A Petri net approach for performance modelling of polymer electrolyte membrane fuel cell systems
inferred← citeshttps://doi.org/10.1016/j.ijhydene.2017.10.144openalex-snapshot
Event driven Hybrid Bond Graph for Hybrid Renewable Energy Systems part I: Modelling and operating mode management
inferred← citeshttps://doi.org/10.1016/j.ijpe.2021.108070openalex-snapshot
Assessing manufacturing flow lines under uncertainties in processing time: An application based on max-plus equations, multicriteria decisions, and global sensitivity analysis
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.01.010openalex-snapshot
A design theory for software engineering
inferred← citeshttps://doi.org/10.1016/j.ins.2011.10.018openalex-snapshot
Checking system boundedness using ordinary differential equations
inferred← citeshttps://doi.org/10.1016/j.ins.2019.07.008openalex-snapshot
Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
inferred← citeshttps://doi.org/10.1016/j.ipl.2006.04.009openalex-snapshot
Boundedness undecidability for synchronized nets
inferred← citeshttps://doi.org/10.1016/j.ipl.2010.04.025openalex-snapshot
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
inferred← citeshttps://doi.org/10.1016/j.is.2009.12.001openalex-snapshot
Modeling organizational performance indicators
inferred← citeshttps://doi.org/10.1016/j.isatra.2010.04.003openalex-snapshot
Observer based on-line fault diagnosis of continuous systems modeled as Petri nets
inferred← citeshttps://doi.org/10.1016/j.isatra.2011.03.001openalex-snapshot
An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets
inferred← citeshttps://doi.org/10.1016/j.isatra.2013.09.006openalex-snapshot
Safety analysis of discrete event systems using a simplified Petri net controller
inferred← citeshttps://doi.org/10.1016/j.isatra.2018.04.008openalex-snapshot
Petri Net controller synthesis based on decomposed manufacturing models
inferred← citeshttps://doi.org/10.1016/j.jbi.2013.07.013openalex-snapshot
Hemojuvelin–hepcidin axis modeled and analyzed using Petri nets
inferred← citeshttps://doi.org/10.1016/j.jlp.2016.09.007openalex-snapshot
Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms
inferred← citeshttps://doi.org/10.1016/j.jlp.2020.104216openalex-snapshot
Modeling and application of risk assessment considering veto factors using fuzzy Petri nets
inferred← citeshttps://doi.org/10.1016/j.jlp.2023.105096openalex-snapshot
Chronicles of security risk assessment in process industries: Past, present and future perspectives
inferred← citeshttps://doi.org/10.1016/j.jlp.2026.105922openalex-snapshot
Reliable dynamic causality analysis for efficient prescriptive maintenance of degraded industrial equipment
inferred← citeshttps://doi.org/10.1016/j.jmsy.2015.01.001openalex-snapshot
Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.jocs.2013.08.004openalex-snapshot
Mesoscopic supply chain simulation
inferred← citeshttps://doi.org/10.1016/j.jocs.2013.09.001openalex-snapshot
Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations
inferred← citeshttps://doi.org/10.1016/j.jpcs.2014.11.016openalex-snapshot
Applying Petri nets to modeling the chemical stage of radiobiological mechanism
inferred← citeshttps://doi.org/10.1016/j.jss.2016.03.013openalex-snapshot
Software cybernetics in BPM: Modeling software behavior as feedback for evolution by a novel discovery method based on augmented event logs
inferred← citeshttps://doi.org/10.1016/j.jvlc.2010.01.002openalex-snapshot
A methodology to specify three-dimensional interaction using Petri Nets
inferred← citeshttps://doi.org/10.1016/j.laa.2011.03.002openalex-snapshot
Piecewise linear concave dynamical systems appearing in the microscopic traffic modeling
inferred← citeshttps://doi.org/10.1016/j.matcom.2013.01.006openalex-snapshot
Power flow Petri Net modelling for building integrated multi-source power system with smart grid interaction
inferred← citeshttps://doi.org/10.1016/j.matcom.2018.07.011openalex-snapshot
Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets
inferred← citeshttps://doi.org/10.1016/j.na.2005.02.123openalex-snapshot
A Petri net-based object-oriented approach for the modelling of hybrid productive systems
inferred← citeshttps://doi.org/10.1016/j.na.2005.11.048openalex-snapshot
Hybrid stochastic approach for the modelling and analysis of fire safety systems
inferred← citeshttps://doi.org/10.1016/j.nahs.2006.04.004openalex-snapshot
Modeling and analysis using hybrid Petri nets
inferred← citeshttps://doi.org/10.1016/j.nahs.2008.07.001openalex-snapshot
Quantitative analysis of continuous weighted marked graphs
inferred← citeshttps://doi.org/10.1016/j.nahs.2008.09.016openalex-snapshot
Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computation
inferred← citeshttps://doi.org/10.1016/j.nahs.2010.05.004openalex-snapshot
Monitoring of dynamic processes by rectangular hybrid automata
inferred← citeshttps://doi.org/10.1016/j.nahs.2010.05.005openalex-snapshot
Symmetries in timed continuous Petri nets
inferred← citeshttps://doi.org/10.1016/j.nahs.2011.10.001openalex-snapshot
SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets
showing the first 200 of 670 · page through all 670
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.