( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Supervisory Control and High-level Petri nets

, и . глава 14, стр. 281-306. INTECH, (февраля 2010)

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.

Ahmed Ameur Ameur

Foued Ameur

Foued Ameur

Muhammad Abid

Zainal Abidin

 

Другие публикации лиц с тем же именем

A distributed verification approach for modular Petri nets., и . SCSC, стр. 681-690. Simulation Councils, Inc., (2007)Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context., , , и . ISPA/IUCC/BDCloud/SocialCom/SustainCom, стр. 147-154. IEEE, (2018)A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems., , , и . SCSS, том 45 из EPiC Series in Computing, стр. 107-119. EasyChair, (2017)Optimal Supervisory Control of Opacity for Modular Systems., , , и . ISPA/BDCloud/SocialCom/SustainCom, стр. 854-861. IEEE, (2022)Synthesis of controllers for symmetric systems., и . Int. J. Control, 83 (11): 2354-2367 (2010)Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control., , , и . CoDIT, стр. 1397-1402. IEEE, (2022)At Design-Time Approach for Supervisory Control of Opacity., , , и . CoopIS, том 13591 из Lecture Notes in Computer Science, стр. 37-54. Springer, (2022)Decentralised Active Controller., и . ICINCO (2), стр. 252-259. INSTICC Press, (2010)An Active Controller Based on Parikh Vectors., , и . WODES, стр. 93-98. International Federation of Automatic Control, (2014)SOG-Based Multi-Core LTL Model Checking., , , и . ISPA/BDCloud/SocialCom/SustainCom, стр. 9-17. IEEE, (2020)