Incremental Development of Safety Properties in Petri Net Transformations.

Julia Padberg Magdalena Gajewsky Kathrin Hoffmann

Published in: TAGT (1998)

Keyphrases

petri net
embedded real time systems
discrete event systems
high level petri nets
petri net model
manufacturing systems
information processing
fuzzy petri net
software engineering
knowledge based systems
web service composition
colored petri nets
collaborative learning
ims ld