AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs Steve Hostettler Alexis Marechal Matteo Risoldi

Published in: TACAS (2010)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
service composition
stochastic petri net
ims ld
fuzzy petri net
web service composition
process model
reactive systems
concurrent systems
story generation
temporal logic
knowledge base
neural network