MATEC Web Conf.
Volume 355, 20222021 International Conference on Physics, Computing and Mathematical (ICPCM2021)
|Number of page(s)||7|
|Section||Mathematical Science and Application|
|Published online||12 January 2022|
- Li Gang, Han Longmei, Zhu yongli. Trusted Modeling and Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets[J]. Journal of System Simulation, 2016, 28(8):1740–1747. [Google Scholar]
- K Jensen. Colored Petri Nets: Basic Concepts Analysis Methods and Practice Use[M]. New York:Free Press, 1992:39–49. [Google Scholar]
- Hee K V, Oanea O, Sidorova N. Colored Petri Nets to Verify Extended Event-Driven Process Chains[J]. Lecture Notes in Computer Science, 2015, 3760:183–201. [Google Scholar]
- Julia Padberg, Kathrin Hoffmann. A Survey of Control Structures for Reconfigurable Petri Nets[J]. Journal of Computer and Communications, 2015, 03(2):20–28. [Google Scholar]
- Yu W, Jia M, Fang X, et al. Modeling and analysis of medical resource allocation based on Timed Colored Petri net[J]. Future Generation Computer Systems, 2020, 111. [Google Scholar]
- Wang Rui et al. Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model[J]. Journal of Logical and Algebraic Methods in Programming, 2019, 104 : 254–273. [Google Scholar]
- Bhandari Guru Prasad. Dependency-based fault diagnosis approach for SOA-based systems using Colored Petri Nets[J]. Journal of King Saud University -Computer and Information Sciences, 2018. [Google Scholar]
- Sanjib Kumar Saren and Florin Blaga and Tiberiu Vesselenyi. Automated production based model of flexible cell using Timed Colored Petri Nets[J]. MATEC Web of Conferences, 2017, 126. [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.