scientific article; zbMATH DE number 4005595

zbMATH Open0619.68023MaRDI QIDQ3756507FDOQ3756507

Authors: Tomasz Szmuc 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• scientific article; zbMATH DE number 3872691
• scientific article; zbMATH DE number 3902012
• scientific article; zbMATH DE number 1185853
• Sequential and concurrent behaviour in Petri net theory

zbMATH Keywords

Petri netconcurrent systemssequential processPawlak process

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3756507)