final case classPetriNet(nodes: Seq[Node] = Nil, edges: Seq[Edge] = Nil) extends GeneratedMessage with Message[PetriNet] with Updatable[PetriNet] with Product with Serializable
Annotations
@SerialVersionUID()
Linear Supertypes
Product, Equals, Updatable[PetriNet], Message[PetriNet], GeneratedMessage, Serializable, Serializable, AnyRef, Any