Pages that link to "Item:Q854679"

The following pages link to Merged processes: a new condensed representation of Petri net behaviour (Q854679):

Displaying 6 items.

• Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
• Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
• Exploiting colored Petri nets to decide on permutation admissibility (Q1006895) (← links)
• Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
• An Algorithm for Direct Construction of Complete Merged Processes (Q3011883) (← links)
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)