Modelling legal acts by means of expert systems, ECA rules and high-level Petri nets