Pages that link to "Item:Q5703993"

The following pages link to Recent Trends in Algebraic Development Techniques (Q5703993):

Displaying 4 items.

• Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
• Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
• Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
• Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets (Q5452053) (← links)