Author of the publication

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.

, , , , , , and . ACSD, page 273-275. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)polyDD: Towards a Framework Generalizing Decision Diagrams., , , , and . ACSD, page 124-133. IEEE Computer Society, (2010)Ardoises: Collaborative & Interactive Editing Using Layered Data., and . ACSD, page 136-145. IEEE Computer Society, (2017)Petri Sport: A Sport for Petri Netters., , , and . PNSE@Petri Nets/ACSD, volume 2138 of CEUR Workshop Proceedings, page 35-56. CEUR-WS.org, (2018)A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning., , , , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 385-395. Springer, (2018)Optimized Colored Nets Unfolding., , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 339-355. Springer, (2006)CREST - A Continuous, REactive SysTems DSL., , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 286-291. CEUR-WS.org, (2017)Improving the Significance of Benchmarks for Petri Nets Model Checkers., , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 475-489. CEUR-WS.org, (2010)CREST - A DSL for Reactive Cyber-Physical Systems., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 29-45. Springer, (2018)New features in CPN-AMI 3: focusing on the analysis of complex distributed systems., , , , , , and . ACSD, page 273-275. IEEE Computer Society, (2006)