scientific article; zbMATH DE number 3622958

zbMath0401.68039MaRDI QIDQ4185813

Joseph Sifakis

Publication date: 1979

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

zbMATH Keywords

DecompositionPerformance EvaluationTimed Petri Net

Mathematics Subject Classification ID

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

Related Items (10)

CTL* model checking for time Petri nets ⋮ Feedback control of Petri nets based on place invariants ⋮ Fuzzy timed Petri nets - analysis and implementation ⋮ Contraction of the ITCPN state space ⋮ Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) ⋮ Performance evaluation of concurrent systems using Petri nets ⋮ A generic causal model for place latency. ⋮ A brief survey and synthesis of the roles of time in Petri nets. ⋮ Petri nets for modeling of dynamic systems -- a survey ⋮ Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets

This page was built for publication: