"26230" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study"@en . . "851" . "RIV/00216305:26230/12:PU101816" . "1613-0073" . . . . . . "Janou\u0161ek, Vladim\u00EDr" . "2"^^ . "Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study" . . . . "14"^^ . "P(ED1.1.00/02.0070), S, Z(MSM0021630528)" . "2"^^ . . . . "Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study"@en . . . . . . "RIV/00216305:26230/12:PU101816!RIV13-MSM-26230___" . . "modeling, Object oriented Petri nets, layered nets, system design"@en . . "http://www.ceur-ws.org/Vol-851/paper19.pdf" . "06" . "Ko\u010D\u00ED, Radek" . "150983" . "[4D57823C7C21]" . "The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets."@en . . "The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets." . "Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study" . . "CEUR Workshop Proceedings" .