Modular design when building automata.

[Sailesh Sai Teja]

Hello,

So I have this problem where I am trying to model multiple events in a program. Turns out the states and guards used between them are quite similar, except they both have their very own clock variable and the events have different duration on when they will get handled/triggered and when they get handled/triggered, they execute same function(event_handler in this case defined in the Declarations section) but with different parameter values (Right now it's the event type). My question is :- If I would like to extend it to N events each having their over own duration of when they get handled/triggered, is making a large automata the only way out? To make things modular, I thought of importing automata (1 automata template for this event handler by making it pass parameters thought template) inside others but I don't think it's possible right now. So how do you suggest I approach this?

Attached is the image showing example of 2 events which I would like to extend to N events where each event has it's over own event*_offered_deadline_duration

Thank you.