The application of EB-equivalence rules to the structural reduction of GSPN models

DOI10.1016/0743-7315(92)90010-KzbMath0763.68053MaRDI QIDQ1200154

S. Singh

Publication date: 17 January 1993

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

Petri nets; exhibited behaviour equivalence

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

The numerical solution of stochastic automata networks