Tino Pyssysalo. Proving properties of a new high speed data bus with predicate/transition nets. Journal of Systems Architecture, 40(10-12):791-794, 1994. [doi]
@article{Pyssysalo94, title = {Proving properties of a new high speed data bus with predicate/transition nets}, author = {Tino Pyssysalo}, year = {1994}, doi = {10.1016/0165-6074(94)90041-8}, url = {http://dx.doi.org/10.1016/0165-6074(94)90041-8}, tags = {data-flow}, researchr = {https://researchr.org/publication/Pyssysalo94}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {40}, number = {10-12}, pages = {791-794}, }