Logo

software

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

LHR12.manual

Summary

[LHR12.manual]
F Liu, M Heiner and C Rohr:
Manual for Colored Petri Nets in Snoopy;
Technical report 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2012. [ pdf ]

Bibtex entry

@TECHREPORT { LHR12.manual,
    AUTHOR = { F Liu and M Heiner and C Rohr },
    TITLE = { {Manual for Colored Petri Nets in Snoopy} },
    INSTITUTION = { Brandenburg University of Technology Cottbus, Department of Computer Science },
    YEAR = { 2012 },
    NUMBER = { 02-12 },
    MONTH = { March },
    PDF = { http://www-dssz.informatik.tu-cottbus.de/publications/btu-reports/Manual_for_colored_Petri_nets_2012_03.pdf },
}

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy