Pages that link to "Item:Q5703993"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5703993):
Displaying 6 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)
- Mobile Petri nets (Q3655764) (← links)
- Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets (Q5452053) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)