Helena

swMATH4384MaRDI QIDQ16560FDOQ16560

Author name not available (Why is that?)

Described by source

• Applications and Theory of Petri Nets 2005

Cited In (6)

• On the Computation of Stubborn Sets of Colored Petri Nets
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
• Towards Efficient Verification of Systems with Dynamic Process Creation
• Exploiting colored Petri nets to decide on permutation admissibility
• Model Checking Software

This page was built for software: Helena