Petri nets and process algebras are used to model computer systems, and methods from discrete mathematics are used in analyzing VLSI electronic circuits.
Τα δίκτυα Πέτρι και οι άλγεβρες διεργασιών χρησιμοποιούνται για τη μοντελοποίηση υπολογιστικών συστημάτων, ενώ μέθοδοι από τα διακριτά μαθηματικά χρησιμοποιούνται για την ανάλυση ηλεκτρονικών κυκλωμάτων VLSI.