Login / Signup
Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants.
Mario D'Anna
Sebastiano Trigila
Published in:
Comput. Commun. (1988)
Keyphrases
</>
discrete event systems
petri net
learning environment
distributed systems
knowledge acquisition
mathematical model
sequence diagrams