On the analysis of Petri nets with static priorities

DOI10.1007/s002360050065zbMath0849.68086OpenAlexW4251986095MaRDI QIDQ1901713

Falko Bause

Publication date: 16 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050065

zbMATH Keywords

livenessperformance analysisstochastic Petri netsexistence of home statesfunctional behaviourMarkovian based analysispriority specifications

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) 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)

A Petri net approach for the design and analysis of web services choreographies ⋮ Deterministic catalytic systems are not universal ⋮ Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem ⋮ Liveness enforcement for production systems modeled by time Petri nets ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets

This page was built for publication: On the analysis of Petri nets with static priorities