zbMath0803.68077MaRDI QIDQ1320844
S. A. Yuditskij, V. A. Druzhinin
Publication date: 24 May 1994 Published in: Automation and Remote Control (Search for Journal in Brave)
zbMATH Keywords
Petri nets
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
