HIGHLIGHTS
- who: Achiya Elyasaf et al. from the (UNIVERSITY) have published the Article: What Petri Nets Oblige Us to Say Comparing Approaches for Behavior Composition, in the Journal: (JOURNAL)
- what: Specifically the authors show how when specifying multiple requirements in one PN model modelers are obliged to specify mechanisms for combining these requirements. The authors demonstrate how some execution paths are missed and some are generated unintentionally. To address this problem the authors propose to model the system behavior using behavioral programming (BP) a software development and modeling paradigm designed for seamless integration of independent requirements . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.