Computation of flows for unary-predicates/transitions-nets

Abstract

We have seen that F1, F2, F3a can be computed with the help of polynomial algorithms, without unfolding the net. This allows A not to be given in extension, what is often useful or even necessary in the modelling of systems. We are building a tool which uses these algorithms.

The example 2 shows that it would be useful to look for other classes of flows, or, at least, for refinement of the classes already presented. An other interesting question would be to know the cases where F0 is covered by F1, F3a.

At last, we think that it will be possible to extend our calculus to all Pr/Tr-nets. Meanwhile, one can transform Pr/Tr-nets into UP/T-nets as it is shown by the last example.