Transpilation of Petri-nets into B - Shallow and Deep Embeddings.

Published in: ABZ (2024)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
fuzzy petri net
service composition
colored petri nets
programmable logic controller
neural network
ims ld
process model
web services
data analysis
stochastic petri net