An application of algebraic Petri nets specification for vendor management inventory.
Wei JianYuncan XueJixin QianPublished in: SMC (5) (2004)
Keyphrases
- petri net
- colored petri nets
- state machines
- reactive systems
- petri net model
- sequence diagrams
- discrete event systems
- manufacturing systems
- information systems
- supply chain
- stochastic petri net
- process model
- ims ld
- fuzzy petri net
- decision making
- process algebra
- cellular automata
- discrete dynamical systems
- service composition
- concurrent systems
- data processing
- artificial intelligence
- formal methods
- lot sizing
- workflow model
- lead time
- concurrent processes