Formal Development of Actor Programs Using Structured Algebraic Petri Nets.
Didier BuchsNicolas GuelfiPublished in: PARLE (1993)
Keyphrases
- petri net
- petri net model
- embedded real time systems
- colored petri nets
- discrete event systems
- reactive systems
- manufacturing systems
- software engineering
- state machines
- knowledge based systems
- information processing
- fuzzy petri net
- formal specification
- ims ld
- formal methods
- process model
- design process
- concurrent systems
- knowledge acquisition
- artificial intelligence