Asynchronous composition of high level Petri nets: a quantitative approach
DOI10.1007/3-540-61363-3_11zbMATH Open1418.68141OpenAlexW1575092567MaRDI QIDQ4633162FDOQ4633162
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
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.
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)
Cites Work
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- Block SOR for Kronecker structured representations
- Title not available (Why is that?)
- 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
Uses Software
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)
