با سلام
در بسته tikzبرای تبدیل خط ممتد به نقطه چین از دستور dotted استفاده می شود.
بنابراین به صورت زیر شما می توانید دایره دلخواه را به صورت نقطه چین نمایش دهید:
\vertex [dotted](a1) at (0,0) []{};
پیشنهاد می شود یک بار راهنمای بسته tikz را مشاهده بفرمایید.
