Uchihira Naoshi, Fujihara Mutumi, Iijima Tadashi, Honiden Shinichi "Concurrent progamming language's using Petri net and Temporal Logic"
(1988)
(1988)
IPSJ SIGNotes Programming Language No.017 - 002
Languages mentioned
MENDEL
{1985}
MENDEL/88
{1988}