scientific article; zbMATH DE number 1337891

zbMath0930.68098MaRDI QIDQ4264237

Louchka Popova-Zeugmann, Dirk Schlatter

Publication date: 16 September 1999

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

zbMATH Keywords

time Petri net

Mathematics Subject Classification ID

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

Related Items (5)

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) ⋮ Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs ⋮ Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks ⋮ Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs

This page was built for publication: