Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets

Rowland Pitts, Hassan Gomaa. Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets. In Daniel Moldt, Lawrence Cabac, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. Volume 1846 of CEUR Workshop Proceedings, pages 217-222, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.