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

abstract viewdiscrete-time Markov chainsemantic conditionsyntactic conditiontensor expression

Mathematics Subject Classification ID

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

Recommendations

• A visual formalism for the composition of stochastic Petri nets
• 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

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

Cited in

(10)

• 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
• Parametric stochastic well-formed nets and compositional modelling
• Weak and strong composition of high-level Petri nets
• Efficiency of asynchronous systems and read arcs in petri nets
• Channel Properties of Asynchronously Composed Petri Nets
• Compositional modeling of complex systems: Contact center scenarios in OsMoSys
• Operation net system: A formal design representation model for high-level synthesis of asynchronous systems based on transformations
• Efficient handling of Phase-type distributions in generalized stochastic Petri nets

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

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)