document: Place/Transition Petri net evolutions : recording ways , analysis and synthesis Four semantic domains for Place/Transition Petri nets and their relationships are considered . They are monoids of respectively : firing sequences , processes , traces and dependence graphs . For each of them the analysis and synthesis problem is stated and solved . The monoid of processes is defined in a non-standard way , Nets under consideration involve weights of arrows and capacities -LRB- finite or infinite -RRB- of places . However , the analysis and synthesis tasks require nets to be pure , i.e. each of their transition must have the pre-set and post-set disjoint
doc_bio_tags: O O O O O O O O O O O O B I O O O O O O O O O O O O B O O O B I O O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O
extractive_keyphrases: semantic domains monoids firing sequences dependence graphs
abstractive_keyphrases: place/transition petri net evolutions post-set disjoint pre-set disjoint