The following pages link to (Q2761706):
Displaying 7 items.
- M-nets: a survey (Q1006339) (← links)
- A semantics of sequence diagrams. (Q1853122) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)
- Structured Co-spans: An Algebra of Interaction Protocols (Q3612491) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)