Mathematical methods for calculating invariants in Petri nets.
Fritz KrückebergMichael JaxyPublished in: European Workshop on Applications and Theory of Petri Nets (1986)
Keyphrases
- petri net
- mathematical methods
- biomedical image analysis
- petri net model
- high level petri nets
- manufacturing systems
- discrete event systems
- ims ld
- fuzzy petri net
- colored petri nets
- state machines
- service composition
- stochastic petri net
- genetic algorithm
- concurrent systems
- programmable logic controller
- sequence diagrams
- cellular automata
- expert systems
- artificial intelligence