Tilbage til artikeldetaljer Petri Nets and Semantics of System Descriptions Download Download PDF