Author of the publication

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.

, , and . IEEE Trans. Syst. Man Cybern. Part A, 39 (2): 299-308 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recent advances of sensors for pacemakers., and . ICNSC, page 520-525. IEEE, (2011)On Petri Net Modeling of Automated ManufacturingSystems., , and . ICNSC, page 228-233. IEEE, (2007)Petri net-based response policies to process module failure in time-constrained single-arm cluster tools., , , and . ICNSC, page 144-149. IEEE, (2014)Petri net-based scheduling analysis of dual-arm cluster tools subject to wafer revisiting and residency time constraints., , , and . ICNSC, page 252-257. IEEE, (2013)Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems, , and . Systems, Man, and Cybernetics: Systems, IEEE Transactions on, 43 (1): 85--97 (January 2013)Computation of strict minimal siphons in a class of Petri nets based on problem decomposition, , and . Information Sciences, (October 2017)Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets, , and . IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42 (2): 392--403 (March 2012)Differential evolution algorithms under multi-population strategy., and . WOCC, page 1-7. IEEE, (2017)A Petri net design method for automated manufacturing systems with shared resources., and . ICRA, page 526-531. IEEE, (1990)Grey Wolf Optimizer Adapted for Disassembly Sequencing Problems., , , , , and . ICNSC, page 46-51. IEEE, (2019)