Fundamenta Informaticae > 2012 > Vol. 120, nr 3/4 > 325-339
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Bednarczyk, M. A., Bernardinello, L., Pawlowski,W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (WADT 2004) (J. L. Fiadeiro, P. D. Mosses, F. Orejas, Eds.), 3423, Springer-Verlag, 2004.
-
[2] Esparza, J.: Decidability and Complexity of Petri Net Problems - An Introduction, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets (W. Reisig, G. Rozenberg, Eds.), 1491, Springer-Verlag, 1998.
-
[3] Finkel, A., Schnoebelen, P.: Well-structured Transition systems everywhere!, Theoretical Computer Science, 256(1-2), 2001, 63-92.