PROMELAはC言語と非常によく似ています。そのため、C言語を使ったことがある人には、とても親しみやすいはずです。多くの方はC言語も知っていると思いますので、C言語とは異なった部分を紹介していきます。
　まず、C言語と違うところで注意しなければならないのが；（セミコロン）の使い方です。;はC言語では文の終端をあらわすものでした。しかし、PROMELAでは文を分割するものです。そのため、

となります。また、文分割は；だけではなく、->(アロー)でも分割することもできます。どちらも同じ意味ですが、前後の文に関係がある場合は明示的にアローを、それ以外の文ならセミコロンを使うのが習慣（？）です。
　次に、C言語のmainに当たるものはありませんが、よく似ている（？）のはinitです。ただ、initは多くの場合省略されます。むしろ、状態遷移を正しく表現するには、書かないほうが良いといわれます。（ホントかな？）