Deadlock detection in Petri nets: One trace for one deadlock?
نویسنده:
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/EMCEurope.2014.6931099
کلیدواژه(گان): computational electromagnetics,electromagnetic interference,error statistics,radio receivers,GENESIS tool,electromagnetic interference analysis,error rate,maximum communication distance reduction,radio communication performance,scenario-based modeling,smart color-mapping,wireless systems,Buildings,Containers,Electromagnetic compatibility,Green products,Interference,Receivers,Wireless communication,co-location,computational electromagnetics,interference source,intersystem in
کالکشن
:
-
آمار بازدید
Deadlock detection in Petri nets: One trace for one deadlock?
Show full item record
| contributor author | Karatkevich, A. , Grobelna, I. | |
| date accessioned | 2020-03-12T20:16:03Z | |
| date available | 2020-03-12T20:16:03Z | |
| date issued | 2014 | |
| identifier other | 6860480.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1008182?locale-attribute=fa | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Deadlock detection in Petri nets: One trace for one deadlock? | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8129982 | |
| subject keywords | computational electromagnetics | |
| subject keywords | electromagnetic interference | |
| subject keywords | error statistics | |
| subject keywords | radio receivers | |
| subject keywords | GENESIS tool | |
| subject keywords | electromagnetic interference analysis | |
| subject keywords | error rate | |
| subject keywords | maximum communication distance reduction | |
| subject keywords | radio communication performance | |
| subject keywords | scenario-based modeling | |
| subject keywords | smart color-mapping | |
| subject keywords | wireless systems | |
| subject keywords | Buildings | |
| subject keywords | Containers | |
| subject keywords | Electromagnetic compatibility | |
| subject keywords | Green products | |
| subject keywords | Interference | |
| subject keywords | Receivers | |
| subject keywords | Wireless communication | |
| subject keywords | co-location | |
| subject keywords | computational electromagnetics | |
| subject keywords | interference source | |
| subject keywords | intersystem in | |
| identifier doi | 10.1109/EMCEurope.2014.6931099 | |
| journal title | uman System Interactions (HSI), 2014 7th International Conference on | |
| filesize | 643416 | |
| citations | 0 |