scientific article; zbMATH DE number 1755138

zbMATH Open0986.68092MaRDI QIDQ4535172FDOQ4535172

Authors: Aletta Nylén, Parosh A. Abdulla 

Publication date: 13 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2075/20750053

Title of this publication is not available (Why is that?)

Recommendations

• Dynamic networks of timed Petri nets
• Publication:4934360
• Verification of Timed-Arc Petri Nets
• scientific article; zbMATH DE number 4209631
• Using forward reachability analysis for verification of timed Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (32)

• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
• On the Verification of Timed Ad Hoc Networks
• Dynamic networks of timed Petri nets
• Strong behavioral similarities in timed-arc Petri nets
• On-the-fly \(TCTL\) model checking for time Petri nets
• Timed Petri nets and temporal linear logic
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• A counter abstraction technique for verifying properties of probabilistic swarm systems
• Title not available (Why is that?)
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Universal safety for timed Petri nets is PSPACE-complete
• Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
• Formal Methods for the Design of Real-Time Systems
• Weak Time Petri Nets Strike Back!
• Parameterized model checking of networks of timed automata with Boolean guards
• Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
• Verification of Timed-Arc Petri Nets
• Model checking of time Petri nets using the state class timed automaton
• Waiting Nets: State Classes and Taxonomy
• When are timed automata weakly timed bisimilar to time Petri nets?
• Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
• Decidable classes of unbounded Petri nets with time and urgency
• Monotonic abstraction in parameterized verification
• WQO dichotomy for 3-graphs
• Waiting nets
• Combining free choice and time in Petri nets
• Timed Basic Parallel Processes
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
• Title not available (Why is that?)
• Complexity hierarchies beyond elementary

Uses Software

• Uppaal

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535172)