Animation of OASIS Specifications by Means of Object Oriented Petri Nets.
Pedro Sánchez-PalmaPublished in: Computación y Sistemas (2001)
Keyphrases
- petri net
- object oriented
- concurrent systems
- state machines
- reactive systems
- discrete event systems
- petri net model
- manufacturing systems
- embedded real time systems
- fuzzy petri net
- discrete dynamical systems
- process model
- service composition
- relational databases
- colored petri nets
- data model
- formal specification
- ims ld
- conceptual models
- concurrent processes
- neural network