A Petri net semantics for B(PN)/sup 2/ with procedures.

Authors :: Fleischhack, H.
Grahlmann, B.
Source :: Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel & Distributed Systems; 1997, p15-27, 13p
Publication Year :: 1997

Language :: English
ISBNs :: 9780818680434
Database :: Complementary Index
Journal :: Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel & Distributed Systems
Publication Type :: Conference
Accession number :: 92453504
Full Text :: https://doi.org/10.1109/PDSE.1997.596823