in reply to Graph weighted_vertices

I seem to recall (from an all too dim and distant past) that Petri Nets can be modelled as a directed graph with wieghted/labelled vertices.

Update:

Ah yes, here we are

A user level that continues to overstate my experience :-))

In Section Seekers of Perl Wisdom