Asynchronous composition of high level Petri Nets: A quantitative approach
From MaRDI portal
Publication:4633162
DOI10.1007/3-540-61363-3_11zbMath1418.68141MaRDI QIDQ4633162
Publication date: 2 May 2019
Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61363-3_11
discrete-time Markov chain; syntactic condition; abstract view; semantic condition; tensor expression
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Block SOR for Kronecker structured representations, Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers, Approximated timed reachability graphs for the robust control of discrete event systems
Uses Software
Cites Work