Branching Processes of High-Level Petri Nets

Cite this paper

@inproceedings{Khomenko2003BranchingPO, title={Branching Processes of High-Level Petri Nets}, author={Victor Khomenko and Maciej Koutny}, booktitle={TACAS}, year={2003} }