Modeling the semantics of smalltalk-80 with Petri nets.
Dimitris ChristodoulakisPublished in: ACM SIGPLAN Notices (1989)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- manufacturing systems
- discrete event systems
- sequence diagrams
- petri net model
- ims ld
- object oriented
- concurrent systems
- service composition
- state machines
- process algebra
- process model
- logic programming
- collaborative learning
- programming language
- web services
- dynamic behaviors
- concurrent processes
- programmable logic controller