Coverability and Termination in Recursive Petri Nets.

Alain Finkel Serge Haddad Igor Khmelnitsky

Published in: Petri Nets (2019)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
manufacturing systems
colored petri nets
service composition
sequence diagrams
web services
computational intelligence
knowledge based systems
process model
model checking
ims ld
concurrent systems