Geodesic
On the analysis of Petri nets and their synthesis from process languages
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 1, pp. 17-38

Voir la notice de l'article provenant de la source Numdam

Processes in Place/Transition (P/T) nets are defined inductively by a peculiar numbering of place occurrences. Along with an associative sequential composition called catenation and a neutral process, a monoid of processes is obtained. The power algebra of this monoid contains all process languages with appropriate operations on them. Hence the problems of analysis and synthesis, analogous to those in the formal languages and automata theory, arise. Here, the analysis problem is: for a given P/T net with an initial marking find the set of all processes the net may evoke. The synthesis problem is: given a process language L decide if there exists a marked net whose evolutions (represented by processes) are collected in L and, in the positive case, find such net and its initial marking. The problems are posed and given a general solution.

DOI : 10.1051/ita:2003006
Classification : 68Q85
Keywords: Petri net, process language, analysis and synthesis of nets 
@article{ITA_2003__37_1_17_0,
     author = {Czaja, Ludwik},
     title = {On the analysis of {Petri} nets and their synthesis from process languages},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {17--38},
     publisher = {EDP-Sciences},
     volume = {37},
     number = {1},
     year = {2003},
     doi = {10.1051/ita:2003006},
     mrnumber = {1991749},
     zbl = {1090.68072},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2003006/}
}
TY  - JOUR
AU  - Czaja, Ludwik
TI  - On the analysis of Petri nets and their synthesis from process languages
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2003
SP  - 17
EP  - 38
VL  - 37
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2003006/
DO  - 10.1051/ita:2003006
LA  - en
ID  - ITA_2003__37_1_17_0
ER  - 
%0 Journal Article
%A Czaja, Ludwik
%T On the analysis of Petri nets and their synthesis from process languages
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2003
%P 17-38
%V 37
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2003006/
%R 10.1051/ita:2003006
%G en
%F ITA_2003__37_1_17_0
Czaja, Ludwik. On the analysis of Petri nets and their synthesis from process languages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 1, pp. 17-38. doi: 10.1051/ita:2003006

Cité par Sources :