S. Donatelli

zbMath Opendonatelli.susannaMaRDI QIDQ782570

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A CTL* Model Checker for Petri Nets Application and Theory of Petri Nets and Concurrency	2022-09-01	Paper
The ins and outs of Petri net composition	2022-08-19	Paper
Gradient-based variable ordering of decision diagrams for systems with structural units Automated Technology for Verification and Analysis	2022-08-12	Paper
Guarded autonomous transitions increase conciseness and expressiveness of timed automata	2021-03-02	Paper
Expressiveness and conciseness of timed automata for the verification of stochastic models	2020-07-27	Paper
The PSR methodology: integrating hardware and software models Application and Theory of Petri Nets 1996	2019-05-02	Paper
Optimal aggregation of components for the solution of Markov regenerative processes	2018-01-11	Paper
Expressing and computing passage time measures of GSPN models with HASL Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Revisiting the matrix-free solution of Markov regenerative processes. Numerical Linear Algebra with Applications	2012-12-19	Paper
From Time Petri Nets to Timed Automata: An Untimed Approach Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Lectures on Concurrency and Petri Nets Lecture Notes in Computer Science	2005-12-23	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2087801 (Why is no real title available?)	2004-08-11	Paper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models INFORMS Journal on Computing	2003-10-28	Paper
Integrating synchronization with priority into a Kronecker representation Performance Evaluation	2002-07-14	Paper
scientific article; zbMATH DE number 1696449 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1755134 (Why is no real title available?)	2002-06-13	Paper
Implementing compositionality for stochastic Petri nets International Journal on Software Tools for Technology Transfer. STTT	2002-04-09	Paper
scientific article; zbMATH DE number 1538067 (Why is no real title available?)	2001-06-13	Paper
Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space Performance Evaluation	1993-12-20	Paper

Research outcomes over time

This page was built for person: S. Donatelli