Information System Behavior Specification by High-Level Petri Nets
Oberweis, Andreas
1; Sander, Peter 1
1 Universität Karlsruhe (TH)
1; Sander, Peter 11 Universität Karlsruhe (TH)
| 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 |