scientific article; zbMATH DE number 1755138

MaRDI QIDQ4535172zbMATH OpenFDO

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

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
• scientific article; zbMATH DE number 1390093
• 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
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• 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:

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