High-level Petri Nets

• 1 January 1991
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-3-642-84524-6

Abstract

Keywords

• DATENTYP (EDV)
• EDV
• ALGORITHM
• ALGORITHMS
• DESIGN
• DEVELOPMENT
• LANGUAGE
• MODELING
• PETRI NET
• PROGRAMMING
• PROGRAMMING LANGUAGE
• SOFTWARE
• STRUCTURED ANALYSIS
• VALIDATION
• VERIFICATION