Login / Signup
Transactional Petri nets: a semantic framework for UML2 activities.
Sabine Boufenara
Kamel Barkaoui
Faiza Belala
Hanifa Boucheneb
Published in:
Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
software engineering
colored petri nets
cellular automata
process model
service composition
sequence diagrams