Login / Signup
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.
Antonino Mazzeo
Nicola Mazzocca
Stefano Russo
Valeria Vittorini
Published in:
Real Time Syst. (1997)
Keyphrases
</>
concurrent systems
transition systems
formal specification
process algebra
temporal logic
model checking
distributed systems
petri net
specification language
formal verification
reactive systems
database
relational databases
asynchronous circuits
database systems
genetic algorithm
data sets