A symbolic reachability graph for coloured Petri nets
From MaRDI portal
Publication:1392273
DOI10.1016/S0304-3975(96)00010-2zbMath0903.68130MaRDI QIDQ1392273
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN), Efficient simulation of hierarchical stochastic activity network models, A symbolic reachability graph for coloured Petri nets
Cites Work