Search results for "DSPNs"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	José M. Martínez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
99	Christoph Lindemann, Andreas Reuys, Axel Thümmler	The DSPNexpress 2.000 Performance and Dependability Modeling Environment.	FTCS	1999	DBLP DOI BibTeX RDF
40	Amel Berrachedi, Malika Ioualalen, Ahmed Hammad	Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs.	SIMULTECH	2021	DBLP DOI BibTeX RDF
40	Armin Heindl, Reinhard German	A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Deterministic and stochastic Petri nets, adaptive numerical method, transient analysis
40	Armin Heindl, Reinhard German	A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs.	PNPM	1997	DBLP DOI BibTeX RDF
25	Holger Blume, Thorsten von Sydow, Daniel Becker 0001, Tobias G. Noll	Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets.	SAMOS	2005	DBLP DOI BibTeX RDF
25	Marco Gribaudo, Matteo Sereno	An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets.	DSN	2004	DBLP DOI BibTeX RDF
25	Bernhard Kaiser, Catharina Gramlich	State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
25	Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi	Transient Analysis of Deterministic and Stochastic Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )