Hartmann J. Genrich;Kurt Lautenbach
-;-
Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
IEEE Transactions on Software Engineering
Prototyping and formal analysis of concurrent and distributed systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design