Abstrakt. Statsexplosion är ett grundläggande problem vid analys och syntes av diskreta händelsesystem. Kontinuerliga Petrinät kan ses som en avslappning av diskreta modeller som möjliggör effektivare (i vissa fall polynomisk tid) analys och syntesalgoritmer. Icke desto mindre kan beräkningskostnaderna minskas på bekostnad av vissa fastigheters analyzability. Ännu mer, vissa nätsystem tillåter inte någon form av kontinuitet. I detta arbete behandlas först dessa aspekter och några av de alternativa formalismer som kan användas för kontinuerlig avslappning av diskreta system. Särskild tonvikt läggs senare vid presentationen av vissa resultat när det gäller utvärdering av prestanda, parametrisk utformning och märkning (dvs. tillstånd) observation och kontroll. Även om en betydande mängd resultat idag finns tillgängliga för kontinuerliga nätsystem är många viktiga frågor fortfarande inte lösta. En förteckning över några av dessa ges i inledningen som en inbjudan att arbeta med dem.
Undersökningar av förhållandet mellan egenskaperna hos diskreta och kontinuerliga Petrinät är ganska färska, som nämns i REF.
Continuization of timed petri nets: from performance evaluation to observation and control
{'venue': 'ICATPN', 'journal': None, 'mag_field_of_study': ['Computer Science']}