Colored Petri nets to verify extended event-driven process chains

K.M. Hee, van, O.I. Oanea, N. Sidorova

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Colored Petri nets to verify extended event-driven process chains'. Together they form a unique fingerprint.

Computer Science