UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems.

Jérôme Delatour Mario Paludetto

Published in: ECOOP Workshops (1998)

Keyphrases

petri net
real time systems
sequence diagrams
embedded real time systems
data analysis
software systems
colored petri nets
modeling language
real time
service composition
formal methods
case study
collaborative learning
embedded systems
conceptual modeling
reactive systems