Author:
Nepomniaschy V. A.,Argirov V. S.,Beloglazov D. M.,Bystrov A. V.,Chetvertakov E. A.,Churina T. G.
Reference23 articles.
1. Specification and Description Language (SDL), Recommendation, Z.100, CCITT 1992.
2. Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Berlin: Springer, 1997, vols. 1–3.
3. Kristensen, L.M., Christensen, S., and Jensen, K., The Practitioner’s Guide to Coloured Petri Nets, Int. J. Software Tools Technology Transfer, 1998, vol. 2, no. 2, pp. 98–132.
4. Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, A.M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., and Jensen, K., CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, in Lecture Notes in Computer Science (Proc. of ICATPN 2003), 2003, vol. 2679, pp. 450–462.
5. Fisher, J. and Dimitrov, E., Verification of SDL’92 Specifications Using Extended Petri Nets, Proc. IFIP Fifteenth Int. Conf. on Protocol Specification, Testing and Verification, Warsaw, 1995, pp. 455–458.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System;2009 International Conference on Artificial Intelligence and Computational Intelligence;2009