Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. J. Billington; Extensions to Coloured Petri Nets; in Proc. of the Third Int. Workshop on Petri Nets and Performance Models, Kyoto 1989.
2. T. Bolognesi, S.A. Smolka; Fundamental Results for the Verification of Observational Equivalence: A Survey; in: H. Rudin, C. West (eds.), Protocol Specification, Testing and Verification VII, North Holland (1987) 165–179.
3. W. Brauer, R. Gold, W. Vogler; A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets; in G. Rozenberg (ed.), Advances in Petri Nets 90, LNCS 424, Springer 1990, pp. 1–46.
4. P. Buchholz; A Hierarchical View of GCSPNs and its Impact on Qualitative and Quantitative Analysis; Journal of Parallel and Distributed Computing, vol. 15, no. 2, July 1992, pp. 207–224.
5. P. Buchholz; Hierarchies in Colored GSPNs; in M. Ajmone Marsan (ed.), Application and Theory of Petri Nets 1993, LNCS 691, Springer 1993, pp. 106–125.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献