MIN-Fakultät
Fachbereich Informatik
Fundamente Teoretici de Informatică

Bibliography

Formal Description of Structured Analysis Models by Coloured Petri Nets

Olaf Fricke and Daniel Moldt.
Formal description of structured analysis models by coloured Petri nets.
In Scheschonk and Reisig , Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, pages 165-179.


BibTeX



@INPROCEEDINGS{Fricke+93,
        AUTHOR             = {Fricke, Olaf and Moldt, Daniel},
        PAGES              = {165--179},
        TITLE              = {Formal Description of Structured Analysis Models by Coloured {Petri} Nets},
        YEAR               = 1993,
        crossref = {Scheschonk+-e-93}
}

@PROCEEDINGS{Scheschonk+-e-93,
        ADDRESS            = Springer.addr,
        TITLE              = {{Petri-Netze im Einsatz f{\"u}r Entwurf und Entwicklung von Informationssystemen}},
        EDITOR             = {Scheschonk, Gert and Reisig, Wolfgang},
        ORGANIZATION       = {Gesellschaft f{\"u}r Informatik},
        PUBLISHER          = Springer,
        SERIES             = {Informatik Aktuell},
        YEAR               = 1993,
}