Petri Nets Building Blocks Library

Petri Nets Building Blocks Library for the construction of net models with ease in Simulink models

I would like sharing this library with other colleagues enthusiast of the Petri Nets. During the development of the library, I saw interesting results from the simulation models this framework produced. Thus, I think it could be useful for other colleagues as it is for me. The library allows the construction of Petri Nets with ease inside of a Simulink model. I would like to invite other enthusiasts of the Petri Nets to collaborate and to continue with further refinement and development. The library provides blocks representing a Place, a Transition and Initial Marking. Some SimEvents blocks such as servers, queues and entity generators are the core of the Petri Nets Building Blocks Library. A set of Matlab scripts are used for the initialization of the masked subsystems that represents the building blocks. These scripts are also provided in the zip file. The library also includes some illustrative examples of Petri Net models reported in the literarute, such as the Dining Philosophers Problem, Communicating Processes, Hardware Multithreaded Architecture, etc. There is a peper explaning the library that I hope be published shortly. I invite you to collaborate in the further development of this library, in topics such as modeling and applications, free-choice nets, linguistic analysis, colored tockens, timed analysis, etc. Please feel free to email me. Regards...
RCR