Timed Petri nets and BQOs

DOI10.1007/3-540-45740-2_5MaRDI QIDQ4535172zbMATH OpenFDO

Authors Aletta Nylén, Parosh A. Abdulla

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Dynamic networks of timed Petri nets
• A partial order method for the verification of time Petri nets
• Verification of Timed-Arc Petri Nets
• scientific article; zbMATH DE number 4209631
• Using forward reachability analysis for verification of timed Petri nets

Cited in

(32)

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

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Timed Petri nets and BQOs

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