@article{srinivasan_fault_1993,
	title = {Fault detection/monitoring using time {Petri} nets},
	volume = {23},
	issn = {2168-2909},
	doi = {10.1109/21.247896},
	abstract = {While controlling manufacturing systems, real time data is collected through sensory devices or some other means and fed back to the controller for the purpose of monitoring that system. Monitoring refers to the analysis of data collected from the system. It involves fault detection and diagnostics. Here, we shall emphasize the fault detection aspects of monitoring. Modeling the control system by a time Petri net permits us to develop an analytical procedure for fault detection. By backfiring transitions in the time Petri net, we are able to determine if a given state is invalid. The back-firing approach also provides us with state space representation of time Petri nets and the maximum token holding times in different places of time Petri nets.{\textless}{\textgreater}},
	number = {4},
	journal = {IEEE Transactions on Systems, Man, and Cybernetics},
	author = {Srinivasan, V.S. and Jafari, M.A.},
	month = jul,
	year = {1993},
	note = {Conference Name: IEEE Transactions on Systems, Man, and Cybernetics},
	keywords = {Control system synthesis, Control systems, Data analysis, Fault detection, Formal specifications, Industrial engineering, Manufacturing systems, Monitoring, Petri nets, State-space methods},
	pages = {1155--1162},
}

{"_id":"of5Dks4PThpyvYTqq","bibbaseid":"srinivasan-jafari-faultdetectionmonitoringusingtimepetrinets-1993","author_short":["Srinivasan, V.","Jafari, M."],"bibdata":{"bibtype":"article","type":"article","title":"Fault detection/monitoring using time Petri nets","volume":"23","issn":"2168-2909","doi":"10.1109/21.247896","abstract":"While controlling manufacturing systems, real time data is collected through sensory devices or some other means and fed back to the controller for the purpose of monitoring that system. Monitoring refers to the analysis of data collected from the system. It involves fault detection and diagnostics. Here, we shall emphasize the fault detection aspects of monitoring. Modeling the control system by a time Petri net permits us to develop an analytical procedure for fault detection. By backfiring transitions in the time Petri net, we are able to determine if a given state is invalid. The back-firing approach also provides us with state space representation of time Petri nets and the maximum token holding times in different places of time Petri nets.\\textless\\textgreater","number":"4","journal":"IEEE Transactions on Systems, Man, and Cybernetics","author":[{"propositions":[],"lastnames":["Srinivasan"],"firstnames":["V.S."],"suffixes":[]},{"propositions":[],"lastnames":["Jafari"],"firstnames":["M.A."],"suffixes":[]}],"month":"July","year":"1993","note":"Conference Name: IEEE Transactions on Systems, Man, and Cybernetics","keywords":"Control system synthesis, Control systems, Data analysis, Fault detection, Formal specifications, Industrial engineering, Manufacturing systems, Monitoring, Petri nets, State-space methods","pages":"1155–1162","bibtex":"@article{srinivasan_fault_1993,\n\ttitle = {Fault detection/monitoring using time {Petri} nets},\n\tvolume = {23},\n\tissn = {2168-2909},\n\tdoi = {10.1109/21.247896},\n\tabstract = {While controlling manufacturing systems, real time data is collected through sensory devices or some other means and fed back to the controller for the purpose of monitoring that system. Monitoring refers to the analysis of data collected from the system. It involves fault detection and diagnostics. Here, we shall emphasize the fault detection aspects of monitoring. Modeling the control system by a time Petri net permits us to develop an analytical procedure for fault detection. By backfiring transitions in the time Petri net, we are able to determine if a given state is invalid. The back-firing approach also provides us with state space representation of time Petri nets and the maximum token holding times in different places of time Petri nets.{\\textless}{\\textgreater}},\n\tnumber = {4},\n\tjournal = {IEEE Transactions on Systems, Man, and Cybernetics},\n\tauthor = {Srinivasan, V.S. and Jafari, M.A.},\n\tmonth = jul,\n\tyear = {1993},\n\tnote = {Conference Name: IEEE Transactions on Systems, Man, and Cybernetics},\n\tkeywords = {Control system synthesis, Control systems, Data analysis, Fault detection, Formal specifications, Industrial engineering, Manufacturing systems, Monitoring, Petri nets, State-space methods},\n\tpages = {1155--1162},\n}\n\n","author_short":["Srinivasan, V.","Jafari, M."],"key":"srinivasan_fault_1993","id":"srinivasan_fault_1993","bibbaseid":"srinivasan-jafari-faultdetectionmonitoringusingtimepetrinets-1993","role":"author","urls":{},"keyword":["Control system synthesis","Control systems","Data analysis","Fault detection","Formal specifications","Industrial engineering","Manufacturing systems","Monitoring","Petri nets","State-space methods"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/zotero/mh_lenguyen","dataSources":["XJ7Gu6aiNbAiJAjbw","XvjRDbrMBW2XJY3p9","3C6BKwtiX883bctx4","5THezwiL4FyF8mm4G","RktFJE9cDa98BRLZF","qpxPuYKLChgB7ox6D","PfM5iniYHEthCfQDH","iwKepCrWBps7ojhDx"],"keywords":["control system synthesis","control systems","data analysis","fault detection","formal specifications","industrial engineering","manufacturing systems","monitoring","petri nets","state-space methods"],"search_terms":["fault","detection","monitoring","using","time","petri","nets","srinivasan","jafari"],"title":"Fault detection/monitoring using time Petri nets","year":1993}