Extensions of pushdown automata and Petri nets.
T. Y. LinPublished in: ACM Conference on Computer Science (1989)
Keyphrases
- petri net
- petri net model
- high level petri nets
- cellular automata
- manufacturing systems
- discrete event systems
- colored petri nets
- ims ld
- model checking
- service composition
- finite state machines
- state machines
- stochastic petri net
- concurrent systems
- artificial intelligence
- regular expressions
- process model
- fuzzy petri net
- discrete dynamical systems
- data analysis