The following pages link to Susanna Donatelli (Q782570):
Displaying 19 items.
- Expressiveness and conciseness of timed automata for the verification of stochastic models (Q782571) (← links)
- Optimal aggregation of components for the solution of Markov regenerative processes (Q1693111) (← links)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata (Q1996031) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- (Q2766551) (← links)
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space (Q4272466) (← links)
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models (Q4427332) (← links)
- (Q4518926) (← links)
- (Q4535168) (← links)
- Integrating synchronization with priority into a Kronecker representation (Q4538476) (← links)
- The PSR methodology: Integrating hardware and software models (Q4633160) (← links)
- (Q4738771) (← links)
- Revisiting the matrix‐free solution of Markov regenerative processes (Q4897518) (← links)
- Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units (Q5096082) (← links)
- A CTL* Model Checker for Petri Nets (Q5100762) (← links)
- Expressing and Computing Passage Time Measures of GSPN Models with HASL (Q5300868) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464763) (← links)
- Lectures on Concurrency and Petri Nets (Q5712295) (← links)
- From Time Petri Nets to Timed Automata: An Untimed Approach (Q5758109) (← links)
