Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285): Difference between revisions

@@ Property / author @@
-Jiří Srba
@@ Property / author: Jiří Srba / rank @@
-Normal rank
@@ Property / author @@
+Jiří Srba
@@ Property / author: Jiří Srba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Romeo
@@ Property / describes a project that uses: Romeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TINA
@@ Property / describes a project that uses: TINA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CMC
@@ Property / describes a project that uses: CMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IF-2.0
@@ Property / describes a project that uses: IF-2.0 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85778-5_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1659060819
@@ Property / OpenAlex ID: W1659060819 / rank @@
+Normal rank
@@ Property / cites work @@
+Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Is your model checker on time? On the complexity of model checking for timed modal logics
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532077
@@ Property / cites work: Q4532077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+When are timed automata weakly timed bisimilar to time Petri nets?
+Normal rank
@@ Property / cites work @@
+Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+TCTL Model Checking of Time Petri Nets
@@ Property / cites work: TCTL Model Checking of Time Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437180
@@ Property / cites work: Q5437180 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
+Normal rank
@@ Property / cites work @@
+Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Time-based expressivity of time Petri nets for system specification
+Normal rank
@@ Property / cites work @@
+From Time Petri Nets to Timed Automata: An Untimed Approach
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of time Petri nets using the state class timed automaton
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q4474226
@@ Property / cites work: Q4474226 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in verification of time Petri nets and timed automata. A temporal logic approach.
+Normal rank
@@ Property / cites work @@
+Q3357558
@@ Property / cites work: Q3357558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472942
@@ Property / cites work: Q5472942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766563
@@ Property / cites work: Q2766563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045274
@@ Property / cites work: Q3045274 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3543285