DocumentCode :
387661
Title :
Improving the calculus of the marking graph of petri net with BDD like structure
Author :
Molinaro, Pierre ; Delfieu, David ; Roux, Olivier H.
Author_Institution :
IRCCyN
Volume :
1
fYear :
2002
fDate :
6-9 Oct. 2002
Firstpage :
43
Lastpage :
48
Keywords :
Banking; Binary decision diagrams; Boolean functions; Calculus; Concurrent computing; Information systems; Operating systems; Petri nets; Protocols; Safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Conference_Location :
Yasmine Hammamet, Tunisia
ISSN :
1062-922X
Print_ISBN :
0-7803-7437-1
Type :
conf
DOI :
10.1109/ICSMC.2002.1167945
Filename :
1167945
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=387661
بازگشت