˜Aœ Petri net semantics for B(PN) 2 with procedures which allows verification

Bibliographische Detailangaben

1. Verfasser:	Fleischhack, Hans (VerfasserIn)
Weitere Verfasser:	Grahlmann, Bernd (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hildesheim Univ. 1996
Schriftenreihe:	Hildesheimer Informatik-Berichte 1996,21
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!