On the public citation graph
Reduction rules for time Petri nets
0 signed · 83 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-52494-0_31openalex-snapshot
A reduction theory for coloured nets
inferredcites →https://doi.org/10.1007/bf00709154openalex-snapshot
A stubborn attack on state explosion
inferredcites →https://doi.org/10.1007/bf01383879openalex-snapshot
Using partial orders for the efficient verification of deadlock freedom and safety properties
inferredcites →https://doi.org/10.1007/bfb0016204openalex-snapshot
Checking properties of nets using transformations
inferredcites →https://doi.org/10.1007/bfb0019972openalex-snapshot
Top-down synthesis of live and bounded free choice nets
inferredcites →https://doi.org/10.1007/bfb0039045openalex-snapshot
CONCUR '90 Theories of Concurrency: Unification and Extension
inferredcites →https://doi.org/10.1007/bfb0039059openalex-snapshot
Reduction and design of well-behaved concurrent systems
inferredcites →https://doi.org/10.1016/0378-4754(82)90066-0openalex-snapshot
Petri Net theory and the modeling of systems
inferredcites →https://doi.org/10.1023/a:1008682131325openalex-snapshot
Efficient Verification of Parallel Real–Time Systems
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferredcites →https://doi.org/10.1109/71.80172openalex-snapshot
Design and implementation of a Petri net based toolkit for Ada tasking analysis
inferredcites →https://doi.org/10.1109/icdcs.1990.89289openalex-snapshot
Applying Petri net reduction to support Ada-tasking deadlock detection
inferredcites →https://doi.org/10.1109/iwssd.1993.315513openalex-snapshot
A Petri-net-based approach to real-time program analysis
inferredcites →https://doi.org/10.1109/tcom.1976.1093424openalex-snapshot
Recoverability of Communication Protocols--Implications of a Theoretical Study
inferredcites →https://doi.org/10.1109/tse.1986.6312945openalex-snapshot
SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
inferredcites →https://doi.org/10.1145/154183.154197openalex-snapshot
Using state space reduction methods for deadlock analysis in Ada tasking
inferredcites →https://doi.org/10.1145/186258.187243openalex-snapshot
Analysis of real-time programs with simple time Petri nets
inferredcites →https://doi.org/10.1145/201024.201038openalex-snapshot
Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada
inferredcites →https://doi.org/10.1145/75199.75210openalex-snapshot
A general way to put time in Petri nets
inferredcites →https://doi.org/10.1145/75200.75210openalex-snapshot
A general way to put time in Petri nets
inferredcites →https://doi.org/10.5555/800054.802011openalex-snapshot
Specification and verification of distributed systems using prolog interpreted petri nets.
inferredcites →https://doi.org/10.5555/951807.951818openalex-snapshot
A Petri-net-based approach to real-time program analysis
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-48320-9_14openalex-snapshot
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_14openalex-snapshot
Translating Time Petri Net Structures in Ada 95 Statements
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_7openalex-snapshot
Attractor Equivalence: An Observational Semantics for Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_6openalex-snapshot
Reduction of Workflow Nets for Generalised Soundness Verification
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.12.002openalex-snapshot
Reduction rules for YAWL workflows with cancellation regions and OR-joins
inferred← citeshttps://doi.org/10.1016/j.ins.2008.10.033openalex-snapshot
Soundness-preserving reduction rules for reset workflow nets
inferred← citeshttps://doi.org/10.1016/j.jcss.2009.06.003openalex-snapshot
Reduction rules for reset/inhibitor nets
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111958openalex-snapshot
Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.10.021openalex-snapshot
Dynamically consistent reduction of logical regulatory graphs
inferred← citeshttps://doi.org/10.1016/s0164-1212(00)00125-4openalex-snapshot
An approach to modeling and evaluation of functional and timing specifications of real-time systems
inferred← citeshttps://doi.org/10.1023/a:1008629725384openalex-snapshot
Stubborn Sets for Real-Time Petri Nets
inferred← citeshttps://doi.org/10.1023/a:1008952519552openalex-snapshot
Incremental modeling and verification of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1023/a:1011235419951openalex-snapshot
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
inferred← citeshttps://doi.org/10.1023/a:1018946507357openalex-snapshot
Integrated architectural modeling and analysis for high-assurance command and control system design
inferred← citeshttps://doi.org/10.1108/14637150910931479openalex-snapshot
Business process verification – finally a reality!
inferred← citeshttps://doi.org/10.1109/32.922714openalex-snapshot
Reduction methods for real-time systems using Delay Time Petri Nets
inferred← citeshttps://doi.org/10.1109/3477.865173openalex-snapshot
Compositional time Petri nets and reduction rules
inferred← citeshttps://doi.org/10.1109/3477.875449openalex-snapshot
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments
inferred← citeshttps://doi.org/10.1109/access.2018.2868924openalex-snapshot
A Package Reduction Approach To Modeling and Analysis of Cross-Organization Emergency Response Processes With Privacy Protected
inferred← citeshttps://doi.org/10.1109/access.2022.3170094openalex-snapshot
Dynamic Slicing of Time Petri Net Based on MTL Property
inferred← citeshttps://doi.org/10.1109/cesa.2006.4281622openalex-snapshot
Interval Analysis of Time Petri Nets
inferred← citeshttps://doi.org/10.1109/coase.2006.326847openalex-snapshot
Improving analysis and simulation of continuous Petri Nets
inferred← citeshttps://doi.org/10.1109/etfa.1999.815363openalex-snapshot
Transformation rules for P-time Petri nets
inferred← citeshttps://doi.org/10.1109/fskd.2009.576openalex-snapshot
Design and Reduction of UML-PN Models of Power Plant's Fault Management System
inferred← citeshttps://doi.org/10.1109/hase.1998.731627openalex-snapshot
Integrated architectural modeling and analysis for high-assurance command and control system design
inferred← citeshttps://doi.org/10.1109/icfem.1998.730567openalex-snapshot
Incremental architectural modeling and verification of real-time concurrent systems
inferred← citeshttps://doi.org/10.1109/icicisys.2009.5357914openalex-snapshot
Extended GSPN modeling and reduction algorithms for rapid performance analysis of service composition system
inferred← citeshttps://doi.org/10.1109/icieem.2011.6035595openalex-snapshot
A pattern based approach to workflow structure analysis
inferred← citeshttps://doi.org/10.1109/icsmc.1997.625758openalex-snapshot
Process analysis of multirobot interconnection system using timed Petri nets reduction
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725377openalex-snapshot
Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725396openalex-snapshot
Component-level reduction rules for time Petri nets with application in C2 systems
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725398openalex-snapshot
Work in process (WIP) analysis of the flexible manufacturing system using time Petri nets unfolding
inferred← citeshttps://doi.org/10.1109/icsmc.2002.1173325openalex-snapshot
Hierarchical control of time Petri nets by means of transformations
inferred← citeshttps://doi.org/10.1109/idt.2008.4802509openalex-snapshot
Temporal reduction in time Petri net
inferred← citeshttps://doi.org/10.1109/iitsi.2010.35openalex-snapshot
Property Preservation of Time Petri Net Reduction
inferred← citeshttps://doi.org/10.1109/qest.2004.1348019openalex-snapshot
On performance bounds for interval time petri nets
inferred← citeshttps://doi.org/10.1109/qest.2004.27openalex-snapshot
On performance bounds for interval time petri nets
inferred← citeshttps://doi.org/10.1109/scc.2009.18openalex-snapshot
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions
inferred← citeshttps://doi.org/10.1109/smc.2013.403openalex-snapshot
Automated Generalized Petri Net Reduction Using an Evolutionary Approach Applied to a Manufacturing System Model
inferred← citeshttps://doi.org/10.1109/tase.2007.912716openalex-snapshot
Schedulability Analysis of Time-Constrained Cluster Tools With Bounded Time Variation by an Extended Petri Net
inferred← citeshttps://doi.org/10.1109/tii.2009.2017201openalex-snapshot
Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
inferred← citeshttps://doi.org/10.1109/tsmc.2019.2906335openalex-snapshot
Resource Conflict Checking and Resolution Controller Design for Cross-Organization Emergency Response Processes
inferred← citeshttps://doi.org/10.1109/tsmca.2005.851128openalex-snapshot
Modeling and inference of extended interval temporal logic for nondeterministic intervals
inferred← citeshttps://doi.org/10.1109/tsmca.2012.2186440openalex-snapshot
Reduction and Refinement by Algebraic Operations for Petri Net Transformation
inferred← citeshttps://doi.org/10.1145/186258.187243openalex-snapshot
Analysis of real-time programs with simple time Petri nets
inferred← citeshttps://doi.org/10.1177/02783640022066743openalex-snapshot
Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications
inferred← citeshttps://doi.org/10.1587/transfun.e97.a.484openalex-snapshot
Reduction Operators Based on Behavioral Inheritance for Timed Petri Nets
inferred← citeshttps://doi.org/10.2298/bg20120522makajicnikolicopenalex-snapshot
A new approach to the system reliability analysis using reverse Petri nets
inferred← citeshttps://doi.org/10.2478/lpts-2025-0043openalex-snapshot
Modelling and Analysis of Systems Using Petri Nets: Manufacturing and Task Management Cases
inferred← citeshttps://doi.org/10.3182/20140514-3-fr-4046.00053openalex-snapshot
Model Checking on Fault Diagnosis Graph
inferred← citeshttps://doi.org/10.3390/app11114769openalex-snapshot
An Asymptotic Cyclicity Analysis of Live Autonomous Timed Event Graphs
inferred← citeshttps://doi.org/10.3390/s21248433openalex-snapshot
Extended Hierarchical Fuzzy Interpreted Petri Net
inferred← citeshttps://doi.org/10.4208/jics.v1.n1.p37openalex-snapshot
Component-Level Reduction Rules for Time Petri Nets Based on DTPN
inferred← citeshttps://doi.org/10.4304/jcp.6.8.1662-1669openalex-snapshot
Analysis and Application of Petri Subnet Reduction
inferred← citeshttps://doi.org/10.47749/t/unicamp.2006.387515openalex-snapshot
Modelagem e programação de sistemas a eventos discretos periodicos
inferred← citeshttps://doi.org/10.5772/5321openalex-snapshot
Timed Hierarchical Object-Oriented Petri Net
inferred← citeshttps://doi.org/10.58837/chula.the.2021.953openalex-snapshot
การตดไทมเพทรเนตโดยใชคณสมบตตรรกะเชงเวลาแบบเมตรก
inferred← citeshttps://doi.org/10.70675/7ca322e4z77d0z4c75z858bzc694e9306941openalex-snapshot
Property driven verification framework : application to real time property for UML MARTE software design
inferred← citeshttps://doi.org/10.70675/9b30e78bz14d3z4391z96afze59585000e73openalex-snapshot
Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone
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.