Name
Abstract | ||
|---|---|---|
In recent papers, general conditions were developed to characterise when and how a labelled transition system may be factorised into non-trivial factors. These conditions combine a local property (strong diamonds) and a global one (separation), the latter being of course more delicate to check. Since one of the aims of such a factorisation was to speed up the synthesis of Petri nets from such labelled transition systems, the problem arises to analyse if those conditions (and in particular the global one) could be simplified, or even dropped, in the special case of Petri net solvable behaviours, i.e., when Petri net synthesis is possible. This will be the subject of the present paper. |
Year | Venue | Field |
|---|---|---|
2018 | Petri Nets | Transition system,Discrete mathematics,Petri net,Algebra,Computer science,Factorization,Local property,Special case,Speedup |
DocType | Citations | PageRank |
Conference | 1 | 0.35 |
References | Authors | |
14 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Raymond Devillers | 1 | 742 | 76.40 |
| Uli Schlachter | 2 | 26 | 5.95 |