Computing a Finite Prefix of a Time Petri Net.

Hans Fleischhack Christian Stehno

Published in: ICATPN (2002)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
service composition
high level petri nets
colored petri nets
process model
web service composition
fuzzy petri net
data structure
artificial intelligence
knowledge representation
production system
concurrent systems
stochastic petri net