Quote (crook)
нада начертить и сэмулировать довольно сложную схему.
Не очень ясно, что симулировать в схеме из реле и контакторов.
Тем не менее, в пакете OrCAD (9.2, например) можно создавать любые функциональные блоки, описав их поведение математически.
Можно учесть время срабатывания и даже нелинейные свойства контактов. Библиотека ABM (Analog Behavioral Model). Но это достаточно трудоемко и оправдано в действительно необходимых случаях. Готовые же модели таких компонентов, наверное не существуют.