Asynchronous composition of high level Petri nets: a quantitative approach

DOI10.1007/3-540-61363-3_11MaRDI QIDQ4633162zbMATH OpenOpenAlexFDO

Authors Serge Haddad, Patrice Moreaux

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

zbMATH Keywords

discrete-time Markov chainsyntactic conditionabstract viewsemantic conditiontensor expression

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2087812
• scientific article; zbMATH DE number 2042797
• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• Tutorial and Survey Articles: An introduction to Petri Nets
• Petri nets. Fundamental models, verification and applications.

Cites work

• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• Kronecker products and shuffle algebra
• Sub-stochastic matrix analysis for bounds computation -- theoretical results

Cited in

(10)

• Approximated timed reachability graphs for the robust control of discrete event systems
• Efficiency of asynchronous systems and read arcs in petri nets
• scientific article; zbMATH DE number 1696449 (Why is no real title available?)
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
• Block SOR for Kronecker structured representations
• scientific article; zbMATH DE number 1361124 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2004
• Channel Properties of Asynchronously Composed Petri Nets
• Efficient handling of Phase-type distributions in generalized stochastic Petri nets

Describes a project that uses

Uses Software

• GreatSPN 1.7
• GreatSPN

This page was built for publication: Asynchronous composition of high level Petri nets: a quantitative approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633162)