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

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

S. Singh

Publication date: 17 January 1993

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

Full work available at URL: https://doi.org/10.1016/0743-7315(92)90010-k

zbMATH Keywords

Petri netsexhibited behaviour equivalence

Mathematics Subject Classification ID

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

Related Items (1)

The numerical solution of stochastic automata networks

This page was built for publication: The application of EB-equivalence rules to the structural reduction of GSPN models