scientific article; zbMATH DE number 1956602

zbMath1031.68084MaRDI QIDQ4417950

Karsten Schmidt

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190473.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Petri Net Reductions for Counting Markings ⋮ A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Symmetries in timed continuous Petri nets ⋮ Lifted structural invariant analysis of Petri net product lines

Uses Software

• LoLA

This page was built for publication: