Datensatz als E-Mail versenden: Sequence Planning for Labeled Petri Nets With Time and Resource Constraints Using Basis Markings