KIT | KIT-Bibliothek | Impressum | Datenschutz

Information System Behavior Specification by High-Level Petri Nets

Oberweis, Andreas ORCID iD icon 1; Sander, Peter 1
1 Universität Karlsruhe (TH)


Originalveröffentlichung
DOI: 10.1145/237496.237498
Scopus
Zitationen: 28
Web of Science
Zitationen: 23
Dimensions
Zitationen: 25
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1996
Sprache Englisch
Identifikator ISSN: 0734-2047, 1046-8188, 1558-1152, 1558-2868
KITopen-ID: 1000091355
Erschienen in ACM transactions on information systems
Verlag Association for Computing Machinery (ACM)
Band 14
Heft 4
Seiten 380-420
Nachgewiesen in Dimensions
Scopus
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page