Information Systems Development with the Help of Petri Nets
Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of developm...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
World Scientific Publishing
2020-02-01
|
| Series: | Vietnam Journal of Computer Science |
| Subjects: | |
| Online Access: | http://www.worldscientific.com/doi/pdf/10.1142/S2196888820500025 |