In "ON HYBRID PETRI NETS" by DAVID AND ALLA published in 2001 on page 26 is given an example of how fundamental equation solves a HPN for given start and end time values.
And solution they give looks like
I wonder how fundamental equation shall change if an inhibitor arc is added thus changing HPN into Extended HPN into the system (and there are no conflicts between descreet and continuous transitions)?
Later they provide an example of how to port Extended HPN (p35) into "hybrid automata" yet they never provide any exetsions on how to add inhibitor arc to the fundamental equation.
So I wonder if it is possible to work with EHPN using a fundamental equation to calculate system state at time T or port to hybrid automata would be required for that?