Counting Petri net markings from reduction equations.
Bernard BerthomieuDidier Le BotlanSilvano Dal-ZilioPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- petri net
- petri net model
- high level petri nets
- manufacturing systems
- web service composition
- discrete event systems
- colored petri nets
- mathematical model
- fuzzy petri net
- process model
- service composition
- ims ld
- story generation
- integer programming
- medical images
- reactive systems
- collaborative learning
- stochastic petri net
- distributed systems