Login / Signup
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Mark-Oliver Stehr
José Meseguer
Peter Csaba Ölveczky
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
petri net
petri net model
colored petri nets
high level petri nets
artificial intelligence
discrete event systems
representation scheme
fuzzy petri net