The following pages link to Mauro Pezzè (Q2761717):
Displaying 9 items.
- (Q2761718) (← links)
- Petri nets as semantic domain for diagram notations (Q2848073) (← links)
- Symbolic execution of concurrent systems using Petri nets (Q3031902) (← links)
- (Q3619794) (← links)
- (Q3619796) (← links)
- (Q4738325) (← links)
- Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project. (Q4923512) (← links)
- Formal Methods in Software and Systems Modeling (Q5710417) (← links)
- Lectures on Concurrency and Petri Nets (Q5712277) (← links)