On the public citation graph
TCTL Model Checking of Time Petri Nets
0 signed · 102 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.1006/inco.1993.1024openalex-snapshot
Model-Checking in Dense Real-Time
inferredcites →https://doi.org/10.1007/11513988_41openalex-snapshot
Romeo: A Tool for Analyzing Time Petri Nets
inferredcites →https://doi.org/10.1007/11603009_17openalex-snapshot
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
inferredcites →https://doi.org/10.1007/3-540-36577-x_18openalex-snapshot
Static Guard Analysis in Timed Automata Verification
inferredcites →https://doi.org/10.1007/3-540-36577-x_33openalex-snapshot
State Class Constructions for Branching Analysis of Time Petri Nets
inferredcites →https://doi.org/10.1007/3-540-48321-7_46openalex-snapshot
A partial order method for the verification of time Petri nets
inferredcites →https://doi.org/10.1007/3-540-52148-8_17openalex-snapshot
Timing assumptions and verification of finite-state concurrent systems
inferredcites →https://doi.org/10.1007/978-3-540-27755-2_3openalex-snapshot
Timed Automata: Semantics, Algorithms and Tools
inferredcites →https://doi.org/10.1007/978-3-540-27793-4_4openalex-snapshot
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
inferredcites →https://doi.org/10.1007/978-3-540-40903-8_20openalex-snapshot
Using Zone Graph Method for Computing the State Space of a Time Petri Net
inferredcites →https://doi.org/10.1007/bfb0054180openalex-snapshot
Model checking of real-time reachability properties using abstractions
inferredcites →https://doi.org/10.1007/s10009-005-0190-0openalex-snapshot
Lower and upper bounds in zone-based abstractions of timed automata
inferredcites →https://doi.org/10.1007/s100090050009openalex-snapshot
KRONOS: a verification tool for real-time systems
inferredcites →https://doi.org/10.1007/s10626-006-8133-9openalex-snapshot
Model Checking of Time Petri Nets Using the State Class Timed Automaton
inferredcites →https://doi.org/10.1016/0304-3975(94)00231-7openalex-snapshot
Complexity results for 1-safe nets
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/j.jss.2005.12.021openalex-snapshot
Structural translation from Time Petri Nets to Timed Automata
inferredcites →https://doi.org/10.1016/s1474-6670(17)30789-9openalex-snapshot
Towards optimal CTL* model checking of time petri nets
inferredcites →https://doi.org/10.1017/s147106840600264xopenalex-snapshot
State space computation and analysis of Time Petri Nets
inferredcites →https://doi.org/10.1023/a:1008734703554openalex-snapshot
Analysis of Timed Systems Using Time-Abstracting Bisimulations
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/acsd.2006.18openalex-snapshot
On-the-fly TCTL model checking for Time Petri Nets using state class graphs
inferredcites →https://doi.org/10.1109/icsmc.1992.271666openalex-snapshot
Generalized mutual exclusion contraints on nets with uncontrollable transitions
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/pnpm.2003.1231549openalex-snapshot
State class timed automaton of a time Petri net
inferredcites →https://doi.org/10.3166/tsi.22.435-459openalex-snapshot
Analyse des réseaux temporels. Calcul des classes enO(n2)et des temps de chemin enO(m ×n)
inferredcites →https://doi.org/10.7146/brics.v9i35.21750openalex-snapshot
Timed Automata May Cause Some Troubles
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-00151-3_7openalex-snapshot
On Persistency in Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-65955-4_8openalex-snapshot
Towards Efficient Partial Order Techniques for Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_4openalex-snapshot
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
inferred← citeshttps://doi.org/10.1007/978-3-319-10512-3_5openalex-snapshot
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-16577-6_6openalex-snapshot
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT
inferred← citeshttps://doi.org/10.1007/978-3-319-23401-4_20openalex-snapshot
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-53946-1_8openalex-snapshot
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-77712-2_42openalex-snapshot
On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$
inferred← citeshttps://doi.org/10.1007/978-3-319-99810-7_12openalex-snapshot
$$TCTL^{\varDelta }_h$$ Model Checking of Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_21openalex-snapshot
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_19openalex-snapshot
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_3openalex-snapshot
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-15784-4_6openalex-snapshot
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-18381-2_4openalex-snapshot
Verification of Timed-Arc Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-34005-5_10openalex-snapshot
Timed CTL Model Checking in Real-Time Maude
inferred← citeshttps://doi.org/10.1007/978-3-642-38709-8_25openalex-snapshot
Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling
inferred← citeshttps://doi.org/10.1007/978-3-642-41036-9_15openalex-snapshot
Verification of Reachability Properties for Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-48650-4_3openalex-snapshot
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-981-19-6309-4_9openalex-snapshot
Verifying Timed Computation Tree Logic Based on Time Petri Nets
inferred← citeshttps://doi.org/10.1007/s10626-011-0100-4openalex-snapshot
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs
inferred← citeshttps://doi.org/10.1007/s10626-013-0159-1openalex-snapshot
Shrinking of Time Petri nets
inferred← citeshttps://doi.org/10.1007/s10626-022-00371-7openalex-snapshot
Design and verification of pipelined circuits with Timed Petri Nets
inferred← citeshttps://doi.org/10.1007/s11219-023-09626-4openalex-snapshot
Formal verification process of the compliance of a multicore AUTOSAR OS
inferred← citeshttps://doi.org/10.1007/s11241-017-9297-0openalex-snapshot
Delay-dependent partial order reduction technique for real time systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2021.110119openalex-snapshot
Time based deadlock prevention for Petri nets
inferred← citeshttps://doi.org/10.1016/j.biosystems.2016.09.002openalex-snapshot
Analyzing resilience properties in oscillatory biological systems using parametric model checking
inferred← citeshttps://doi.org/10.1016/j.scico.2014.06.006openalex-snapshot
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
inferred← citeshttps://doi.org/10.1016/j.scico.2018.03.002openalex-snapshot
Zone-based formal specification and timing analysis of real-time self-adaptive systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.09.019openalex-snapshot
Efficient model-checking of dense-time systems with time-convexity analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.07.011openalex-snapshot
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
inferred← citeshttps://doi.org/10.1080/00207179.2012.743038openalex-snapshot
Maximally permissive controller synthesis for time Petri nets
inferred← citeshttps://doi.org/10.1080/01969722.2023.2247261openalex-snapshot
Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches
inferred← citeshttps://doi.org/10.1109/acsd.2009.21openalex-snapshot
Time Arc Petri Nets and Their Analysis
inferred← citeshttps://doi.org/10.1109/acsd.2010.23openalex-snapshot
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets
inferred← citeshttps://doi.org/10.1109/acsd.2012.23openalex-snapshot
Reachability Analysis of P-time Petri Nets with Parametric Markings
inferred← citeshttps://doi.org/10.1109/apsec.2010.23openalex-snapshot
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation
inferred← citeshttps://doi.org/10.1109/cloudcom.2015.36openalex-snapshot
A Formal Approach for QoS Assurance in the Cloud
inferred← citeshttps://doi.org/10.1109/codit.2016.7593624openalex-snapshot
Towards TCTLhΔ model checking of time Petri nets
inferred← citeshttps://doi.org/10.1109/codit55151.2022.9803922openalex-snapshot
High-level Colored Time Petri Nets for true concurrency modeling in real-time software
inferred← citeshttps://doi.org/10.1109/iccsee.2012.328openalex-snapshot
Research on Aeronautical Component Repair Business Optimization Based on CTPN
inferred← citeshttps://doi.org/10.1109/icnsc58704.2023.10319044openalex-snapshot
PNer: A Petri-Net-Based Model Checker for Computation Tree Logic
inferred← citeshttps://doi.org/10.1109/icstw.2017.68openalex-snapshot
Using Model-Checking for Timing Verification in Industrial System Design
inferred← citeshttps://doi.org/10.1109/iri.2014.7051915openalex-snapshot
Time properties verification of UML/MARTE real-time systems
inferred← citeshttps://doi.org/10.1109/smc.2019.8913890openalex-snapshot
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification
inferred← citeshttps://doi.org/10.1109/tac.2015.2405293openalex-snapshot
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
inferred← citeshttps://doi.org/10.1109/tase.2015.22openalex-snapshot
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1109/tase.2020.3006435openalex-snapshot
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tase.2025.3624696openalex-snapshot
Modeling and Analysis of Dual-Time Petri Nets With Application to Semiconductor Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/tii.2022.3222342openalex-snapshot
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$
inferred← citeshttps://doi.org/10.1109/time.2013.22openalex-snapshot
A New Approach to Abstract Reachability State Space of Time Petri Nets
inferred← citeshttps://doi.org/10.1109/tsmc.2025.3585039openalex-snapshot
An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables
inferred← citeshttps://doi.org/10.1145/2401603.2401661openalex-snapshot
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
inferred← citeshttps://doi.org/10.1145/2406336.2406343openalex-snapshot
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets
inferred← citeshttps://doi.org/10.1145/3517747openalex-snapshot
Scheduling in Real-Time Mobile Systems
inferred← citeshttps://doi.org/10.1155/2013/970487openalex-snapshot
Controller Synthesis of Time Petri Nets Using Stopwatch
inferred← citeshttps://doi.org/10.1590/s1678-58782011000400010openalex-snapshot
Some issues in real-time systems verification using time Petri Nets
inferred← citeshttps://doi.org/10.18255/1818-1015-2025-2-150-171openalex-snapshot
Modeling of parallel program synchronization primitives
inferred← citeshttps://doi.org/10.23939/acps2019.01.014openalex-snapshot
A Representative Fragment Method of Analyzing Complex Systems of Smart Contracts
inferred← citeshttps://doi.org/10.30534/ijatcse/2021/381022021openalex-snapshot
Formal Verification of Control and Operational Behaviors in Industrial Internet of Things Services Composition
inferred← citeshttps://doi.org/10.3182/20121003-3-mx-4033.00025openalex-snapshot
FIFO Time Petri Nets for conflicts handling
inferred← citeshttps://doi.org/10.3233/fi-2014-962openalex-snapshot
Blending Timed Formal Models with Clock Transition Systems
inferred← citeshttps://doi.org/10.4018/ijisss.2016040107openalex-snapshot
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
inferred← citeshttps://doi.org/10.4018/ijssmet.2021070105openalex-snapshot
On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification
inferred← citeshttps://doi.org/10.4204/eptcs.39.2openalex-snapshot
On interleaving in {P,A}-Time Petri nets with strong semantics
inferred← citeshttps://doi.org/10.46298/arima.5492openalex-snapshot
ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets
inferred← citeshttps://doi.org/10.48550/arxiv.1506.06299openalex-snapshot
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information
inferred← citeshttps://doi.org/10.5626/jcse.2015.9.1.9openalex-snapshot
Improved Region-Based TCTL Model Checking of Time Petri Nets
inferred← citeshttps://doi.org/10.5772/47744openalex-snapshot
A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets
inferred← citeshttps://doi.org/10.70675/84e8e3cbz374fz4022z8adaz3786443aad91openalex-snapshot
Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
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.