• Net:
• State:
• Marking:
• Modes: