Fundamenta Informaticae > 2003 > Vol. 55, nr 2 > 101-114
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[AS92] C. Autant and Ph. Schnoebelen. Place bisimulations in Petri nets. In Proc. 13th Int. Conf. Application and Theory of Petri Nets, Sheffield, UK, 1992, volume 616 of Lecture Notes in Computer Science, pages 45-61. Springer, 1992.
-
[BL2000] V. A. Bashkin and I. A. Lomazova. Reduction of Coloured Petri nets based on resource bisimulation. Joint Bulletin of NCC IIS (Comp. Science), Vol. 13, pages 12-17. Novosibirsk, Russia, 2000.
-
[FL2002] B. Farwer and I. Lomazova. A systematic approach towards object-based Petri net formalisms. In Proc. Int. Andrey Ershov memorial Conf. Perspectives of System Informatics, PSI 2001, volume 2244 of Lecture Notes in Computer Science, pages 255-267. Springer, 2002.