Rewriting Logic as a Unifying Framework for Petri Nets.

Mark-Oliver Stehr José Meseguer Peter Csaba Ölveczky

Published in: Unifying Petri Nets (2001)

Keyphrases

petri net
petri net model
colored petri nets
logic programming
process model
service composition
discrete event systems
learning activities
manufacturing systems