[PDF][PDF] Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets.
Concurrent software systems are growing increasingly large and complex; the risks
associated with poor design and architectural choices are increasing as well. Building
executable prototypes can help identify problems early and Colored Petri Nets are well
suited to this purpose. This paper presents an approach to modeling reusable threadsafe
passive entity objects in Colored Petri Nets, including public, private and static members,
plus encapsulation and object composition.
associated with poor design and architectural choices are increasing as well. Building
executable prototypes can help identify problems early and Colored Petri Nets are well
suited to this purpose. This paper presents an approach to modeling reusable threadsafe
passive entity objects in Colored Petri Nets, including public, private and static members,
plus encapsulation and object composition.
Abstract
Concurrent software systems are growing increasingly large and complex; the risks associated with poor design and architectural choices are increasing as well. Building executable prototypes can help identify problems early and Colored Petri Nets are well suited to this purpose. This paper presents an approach to modeling reusable threadsafe passive entity objects in Colored Petri Nets, including public, private and static members, plus encapsulation and object composition.
informatik.uni-hamburg.de
Showing the best result for this search. See all results