Can you model a set of PetriNet workflow pattern for the following Case Study? At least three patterns should be modeled for full marks. Examples include sequence, XOR split, AND join, etc.

Patient John Doe enters Friendly Urgent Care Center, adds his name to the sign-in sheet, then takes a seat in the waiting area. A front-desk staff person (FDSP) is responsible for reading the sign-in list and initiating registration. In order to be registered, a patient must have contact information verified (done by the FDSP) and have insurance information verified (done by a different FDSP). Once both actions have been completed, the patient is considered registered. Once registered, three tasks follow. First, patients are sent for vitals. Next, patients are assigned to one of five providers. When both vitals and provider assignment are done, an room is assigned.

John Doe has a painful dermatological problem, but no primary care physician. Therefore, when the provider visit is over, he is presented with three management options: PO pain medication, referral to a dermatologist, and referral to a primary care practice. He may choose all, some, or none of the available options. Once all decisions are final, he checks-out and leaves the practice.